* amd64obsd-tdep.c (amd64obsd_init_abi): Don't set