[coreboot] No boards are removed from coreboot (was Re: [URGENT] ... BS ...)