Improve debug.* comments a bit
Add debug_print_pc macro to debug.h
Add a program dumping board ID from EEPROM

Add eeprom_dump.S - a program using I2C to dump the board ID from the
on-board EEPROM.