This needs a `#[cfg(mcu_freescale_k20)]` guard.