[coreboot-gerrit] Change in coreboot[master]: bayhub bh720: Add helpers to access PCR registers