Looks like something odd is going on with your processor apic id's. Lines like Processor #20 INVALID. (Max ID: 256) are bad... Could you try the following patch with i386? It seems suspect to me and could help identify the problem. Your box has high processor apic ids and looks to be in flat apic mode (versus clustered). I think the code is assuming the box is in clustered apic mode? Thanks, Keith