1. 2008-04-01 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios joe 2. 2008-03-31 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios joe 3. 2008-03-31 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios joe 4. 2008-03-31 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios Uwe Hermann 5. 2008-03-31 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios joe 6. 2008-03-31 Re: [coreboot] [PATCH] Hardcode PCI devices in Intel linuxbios joe