[coreboot-gerrit] Change in coreboot[master]: x86 gdb: Use copy_to_hex_{word, long} for 16 and 32 bit read