Re: [coreboot] LinuxTag 2008 in Berlin, May 28-31