The microcode driver needs to support 64bit physical addresses too.
Attach a file by drag & drop or click to upload