[OpenBIOS] [PATCH 1/2] config/scripts/switch-arch: allow x86_64 prefix for x86 builds