[coreboot-gerrit] New patch to review for coreboot: 905fd74 DO NOT MERGE: towiki-for-users branch: Also generate user targetted page.