[coreboot] Re: [PATCH] firmware: coreboot: framebuffer: Allow building with simpledrm