On 4/5/24 15:38, Thomas Gleixner wrote:> > Can you please boot a working kernel and provide the output of:> > # rdmsr 0xc0011005> Sure:# rdmsr 0xc00110052fabbfff2fd3fbffThanks,Laura