[OpenBIOS] [PATCH 0/2] openbios: fix up x86 and amd64 builds