[ 0.240311] mtrr: your CPUs had inconsistent fixed MTRR settings
[ 0.240313] mtrr: your CPUs had inconsistent variable MTRR settings
[ 0.240314] mtrr: your CPUs had inconsistent MTRRdefType settings
[ 0.240316] mtrr: probably your BIOS does not setup all CPUs.
[ 0.240317] mtrr: corrected configuration.
I'm unsure if this is related to issue #3, or if it is fixed by adding MAX_CPUS=4 to Kconfig.
I'm unsure if this is related to issue #3, or if it is fixed by adding MAX_CPUS=4 to Kconfig.