Re: [coreboot] v2[PATCH] Initial support for the Thomson IP1000 ACK?