Re: [coreboot] Dell PE2850 with coreboot.