More tweaks to x86_64 kernel config