Kernel config for i386.