[OpenBIOS] Adding support for more CPUs