5c9aee111e
Some APIs require 64bit and at least for 64bit archs the overhead should be minimal. Reviewed-by: Jose Fonseca <jfonseca@vmware.com>