Remove run-time special casing of L1 page table permissions/cache/
control bits; instead set up the bits once at boot time.