[PATCH 1/9] board: Move show_board_info() comment to header file