[PATCH v5 1/5] ARM: omap4: Provide do_wfi() for Thumb-2