[PATCH 4/9] board_f: Fix printing gd->ram_size and gd->ram_top