Re: Kernel booting stuck at "CPU1: Booted secondary processor"