ARM: improve compiler's ability to optimize page tables

Signed-off-by: garwedgess <garethwilliams21@gmail.com>