Having in kernel device ig4 makes buildkernel failing in CURRENT r285995: config: Error: device "ig4" is unknown Loading the kernel module via "kldload ig4" works fine. Regards oh