armemu: Implement UMAAL