Hi, On Wednesday 26 October 2016 at 07:36:21 +0200 Salvatore Bonaccorso (car...@debian.org) wrote: [...] > > There seem to be an upstream fix now for this issue: > > https://git.kernel.org/linus/ff8560512b8d4b7ca3ef4fd69166634ac30b2525 > > Can you by chance confirm that this works as well for you?
Not sure. I am not at all knowledgeable in kernel compilation. I did what I did last time by rigorously following the explanations on https://kernel-handbook.alioth.debian.org/ch-common-tasks.html#s-common-official So should I start again with the same basic sources as obtained by yesterday's "apt-get source linux" and then call "bash debian/bin/test-patches ../newpatch" where "newpatch" would be a file containing the final lines from that webpage, i.e.: -------------------------snip------------------------------------- diff --git a/arch/x86/kernel/smpboot.c b/arch/x86/kernel/smpboot.c index 951f093..42f5eb7 100644 --- a/arch/x86/kernel/smpboot.c +++ b/arch/x86/kernel/smpboot.c @@ -1409,15 +1409,17 @@ __init void prefill_possible_map(void) /* No boot processor was found in mptable or ACPI MADT */ if (!num_processors) { - int apicid = boot_cpu_physical_apicid; - int cpu = hard_smp_processor_id(); + if (boot_cpu_has(X86_FEATURE_APIC)) { + int apicid = boot_cpu_physical_apicid; + int cpu = hard_smp_processor_id(); - pr_warn("Boot CPU (id %d) not listed by BIOS\n", cpu); + pr_warn("Boot CPU (id %d) not listed by BIOS\n", cpu); - /* Make sure boot cpu is enumerated */ - if (apic->cpu_present_to_apicid(0) == BAD_APICID && - apic->apic_id_valid(apicid)) - generic_processor_info(apicid, boot_cpu_apic_version); + /* Make sure boot cpu is enumerated */ + if (apic->cpu_present_to_apicid(0) == BAD_APICID && + apic->apic_id_valid(apicid)) + generic_processor_info(apicid, boot_cpu_apic_version); + } if (!num_processors) num_processors = 1; -------------------------snap------------------------------------- If so, I could start that experiment tonight and have a look at the result tomorrow morning. Petra (now away for most of the day)