A couple of kernel config tweaks for i686