Re: No section mismatch warnings for Thumb2 kernels