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