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