Re: [LinuxBIOS] PATCH: nested spinlock hang when initializing x86 sibling CPUs