Re: [OpenBIOS] Adding support for more CPUs