Re: [coreboot] [PATCH 0/5] coreboot table bus and framebuffer driver