Well spottedd -- perhaps the x86-64 was though to be perfect. ;)
It makes absolutely no sense and should be harmful to call
clear_IO_APIC_pin(apic1, pin1) here, because both apic1 and pin1 should be
equal to -1 here. If it has to be called, then I suppose the DMI matching
did not work and the workaround has not been enabled.
Rafael, can you please provide a full bootstrap log obtained with all the
changes, but *without* this part? Also, can you please verify DMI IDs of
your system (dmidecode or /sys/class/dmi, I am told)?
I do think we should record DMI vendor and name information in the
bootstrap log. It won't take a lot of space and will be more useful than
some other IDs we never use for anything else, which we obtain from some
other tables.
Maciej
--