ARM: improve compiler's ability to optimize page tables