[OpenBIOS] Re: [fb-d] SMP Bootup