armv4_5: support weirdo ARMv6 secure monitor mode