Updated default kernel config for x86
A few more kernel changes for x86