It can be useful to have a device API that can print device-specific things after serial is initialized. Signed-off-by: Andy Green <andy@openmoko.com>