/* * Firmware messages are passed in the printf buffer. */