[PATCH v2 0/3] ARM: omap: Thumb-2 kernel compatibility fixes