backports: fix some dev_coredumpm() problem