Fix applied to Kernel config to test if it can boot