Re: [PATCH] ARM: OMAP5 / DRA7: Fix HYP mode boot for thumb2 build