[coreboot-gerrit] New patch to review for coreboot: 3dc441f rambi: Enable USB boot with EHCI controller