Enable SATA AHCI for faster boot with SeaBIOS.