beaglebone: re-enable THUMB2_KERNEL in defconfig, as it affects boot time by .5s