I'm on my way to LPC, so I can't easily work on this right this instant. Can you try this branch, though? https://git.kernel.org/pub/scm/linux/kernel/git/luto/linux.git/commit/?h=x86/fixes&id=cb88ae619b4c3d832d224f2c641849dc02aed864 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