[coreboot] [PATCH] remove unused devicetree.cb entries