dbg_hw_info() : add prototype to system.h