8b5bd5adf9e6 ("ARM: 9137/1: disallow CONFIG_THUMB with ARMv4")