this change should let the build select the kernel config to use