Comment # 2 on bug 1090896 from Franck Bui

Let's re-assign this to the kernel team since the problem is about the loading
of a kernel module during the boot process.