Thanks, I'll see if I can find some time soon to give them a hit -- I've
got a serial console on my laptop now, :) so any odd boot-time tests will
be easier for me. These would be best tested with Ingo's APIC tree, a
current snapshot of which I may not have handy. Ping me if I don't
respond within a few days.
Maciej
--