Hi again, Marc,

On Thu, 7 Oct 2021 at 13:15, Marc Zyngier [off-list ref] wrote:

'Believe' is not a word I'd use. I know for a fact that all HW,
whether it is present, past or future is only a pile of hacks.

Given that your report tends to indicate that we fail to enable the
interrupt for this device, this would be a possibility.

Heh. Guess what? The AHCI controller is lying throught its teeth. Your
hack fixes boot for me. Everything seems to be working, even with such
a big hammer.

Thanks,
Rui