[coreboot-gerrit] Patch merged into coreboot/master: d1cc812 libpayload: Add comments on virtual pointers in lib_sysinfo