Re: [coreboot] #181: Tyan S2885 (and other K8 boards) won't boot with TINY_BOOTBLOCK