[ARM] arm64: Improve ThumbEE virtualization

The arm64 port already had ThumbEE virtualization. This patch makes
arm64 ThumbEE virtualization in-line with arm32ve port.

Signed-off-by: Anup Patel <anup@brainfault.org>