Re: [coreboot] [PATCH] thomson ip1000 running seabios