Crash on various Supermicro motherboards

[6bone%6bone.informatik.uni-leipzig.de@localhost]

Hello,

When trying to install netbsd-current on different Supermicro servers, 
reproducible crashes occur.

A concrete example:

Serverboard: Supermicro X11DPL-i
Bios Version 3.1

If the bios option "Extended APIC" is disabled, everything works as 
expected. If the option is activated, the kernel crashes when booting.

The manual says:

###
Extended APIC

Select Enable to activate APIC (Advanced Programmable Interrupt 
Controller) support. The options are Disable and Enable.
###

I can't offer a dump. The kernel jumps into the ddb. This does not accept 
input from USB devices.

Is this a bug or does netbsd not support this feature?


Thank you four your efforts


Regards
Uwe