[coreboot] [FILO] r139 - trunk/filo/i386