ahaha.. the kernel has 1.38... Ubuntu does it a bit differently compared to Debian, so I'm not sure the merge is worth it. -- sync with debian's servers https://launchpad.net/bugs/92155