efi/arm: set HSCTLR Thumb2 bit correctly for HVC calls from HYP