Re: [PATCH v1 04/15] x86: coreboot: Remove dead code