Re: [coreboot] [RFC]What to do with TINY_BOOTBLOCK?