ARM: omap4: Provide do_wfi() for Thumb-2