[OpenBIOS] Re: SMP BIOS