Kernels are now compiled as independent modules