[SeaBIOS] Booting Linux, FreeBSD off AHCI takes longer than expected