Hi,On 2023-12-12 18:34:48 +0100, Thomas Gleixner wrote:> The simple change below should do the trick.Yep, can confirm that that suffices to boot with all CPUs brought up.Greetings,Andres Freund