[coreboot] New patch to review for coreboot: 1bade00 Make sure only one udelay function is available