Comment 4 for bug 772050

Well, that is exactly why it was reported under package "linux". If Ubuntu ships a broken kernel, it is a Ubuntu bug.