Change CONFIG_THUMB reference to CONFIG_THUMB2_KERNEL