[LinuxBIOS] about make LinuxBIOS 64bit for Opteron