[coreboot-gerrit] Change in coreboot[master]: docs/distributions: remove entry for John Lewis' ROMs