w64: Fix data types in softmmu*.h