[coreboot-gerrit] Patch set updated for coreboot: b3e87f8 armv7: Add fine-grained page table support