[SeaBIOS] Re: [PATCH 3/4] csm: Enable boot from pci option rom