[coreboot] coreboot at LinuxTag and coreboot hackaton, Berlin, May 22-27 2013