Re: [LinuxBIOS] [PATCH] Add support for a 64-bit target for Serengeti Cheetah