Compiles and ready for ARM specific page table settings