[OpenBIOS] [PATCH] switch-arch: Fix recognition of x86_64 target as 64-bit