pub fn print_u32(val: u32)
Print a u32 to the serial port configured with a panic_stdout feature, as a decimal.
panic_stdout
If no such feature is enabled, this call does nothing.