[coreboot] How is depreciating 95% of coreboot boards worth it for such minor improvements?