[SeaBIOS] How to run AHCI option rom in Seabios?