I'm on my way to LPC, so I can't easily work on this right this instant.
Can you try this branch, though?
Hi Andy,
Good news! This branch works. I have also applied “x86/mm/64: Initialize CR4.PCIDE early” patch on top of Linus’s tree and
it fixes the issue.
Regards,
Sai