[SeaBIOS] Re: [PATCH] fw/coreboot.c: Use coreboot table to find cbfs