x86/intel/quark: Switch off CR4.PGE so TLB flush uses CR3 instead