ARM: OMAP3: Fix booting with thumb2 kernel