* config/hppabsd.mh, config/hppahpux.mh: Use standard coredep.o.