Ubuntu kernel (11/31)

Ubuntu kernel