linux-user: Use correct types in load_symbols()