[coreboot] [PATCH] v3: improve printing of leftover static devices