[coreboot] coreboot assembly at 33c3