ARM: fix oops when using older ARMv4T CPUs