[coreboot] Re: Coreboot + ASUS P5K-E???