[coreboot-gerrit] Change in coreboot[master]: timestamps: Add timestamps around the vbios load & init