https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=272507
--- Comment #7 from Alexander Motin <[email protected]> --- It is not an AHCI problem. There is some problem with PCI resources allocation. You can see plenty of "failed to allocate" messages in dmesg output. Somehow what BIOS done didn't satisfy the kernel, it tries to solve the puzzle, but fails particularly in case of AHCI controller, but may be not only. If BIOS update does not help, try to play with its settings, like disabling fast boot, plug and play OS, or whatever can trigger BIOS to do full resource allocation properly by itself. -- You are receiving this mail because: You are the assignee for the bug.
