ARM/Thumb-2 kernel size comparison