Re: [coreboot] vx800 Example Board Patch