This needs to land afte #1407 lands, since #1407 is where
the CMSIS_MCU was defined.