Fix kernel_module spec