[coreboot-gerrit] Change in coreboot[master]: vx900: fix format strings for DEBUG_RAM_SETUP=y