kern/55883: Booting the install kernel from a USB connect USD card freezes with the error: "LPMU: BIOS IRQ 10 for 0.10.INTB is invalid"

[lucio.dere%gmail.com@localhost]

>Number:         55883
>Category:       kern
>Synopsis:       Booting the install kernel from a USB connect USD card freezes with the error: "LPMU: BIOS IRQ 10 for 0.10.INTB is invalid"
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Dec 19 16:50:00 +0000 2020
>Originator:     Lucio De Re
>Release:        NetBSD 9.1
>Organization:
Future Foundation Management 
>Environment:
Not available as this is during installation.
>Description:
The last few lines displayed during booting are (bar typos):

ACPI: 2 ACPI AML tables successfully acquired and loaded
ioapic0 at mainbus0 apid 1
cpu0 at mainbus0 apid 0
cpu0: Mobile AMD Sempron(tm) Processor 3400+, id 0x40fc2
cpu0: package 0, core 0, smt 0
acpi0 at mainbus0: Intel ACPICA 20190405
LPMU: BIOS IRQ 10 for 0.10.INTB is invalid

the machine (an oldish HP Pavilion laptop) becomes completely non-responsive and only holding down the power switch has any effect that I can establish.

I will got the same effect trying to install NetBSD 9.0, so I thought I'd try a later version. I will now try the i386 version, in case the behaviour is different.

For the record, I installed Debian Buster 10.05.0-amd64 on the same hardware. It wasn't totally warning free, but no show stopping errors occurred.
>How-To-Repeat:
I guess it is platform dependent, I may be able to assist with debugging, if such an option is practical. I used to strip the generic kernel for my purposes, but my job has robbed me of the choice to use NetBSD instead of Linux.
>Fix: