In a firmware that depends on a BSP, it's a bit awkward to use defmt for types that originate in the HAL. One needs to add the same version of the HAL as the BSP uses to Cargo.toml, to enable the defmt feature.

To resolve this, we chould have all the BSPs (at least, that use a new-enough HAL) support a defmt feature themselves.