[coreboot] Patch merged into coreboot/master: 66367fa Replace while with do; while to avoid repetition