[OpenBIOS] openbios wrongly considers e300 core as a 64 bits CPU