[generic] Fix kernel config.