[Bug 1086122] kernel ec3edfb breaks virtualbox