[coreboot-gerrit] Patch merged into coreboot/master: 00fe231 ibexpeak: Fix timings for IDE mode.