ARM: fix PAGE_KERNEL