[SeaBIOS] Re: [PATCH] Fix AHCI Disk Detection when using EDK2 CSM