B.2.16. A32 HLT instruction with condition code not AL

The processor implements the preferred option, that is:

Copyright © 2013, 2014 ARM. All rights reserved.ARM DDI 0488D
Non-ConfidentialID012914