Re: [OpenBIOS] SMP Bootup