[PATCH 6.12 088/164] pds_core: make pdsc_auxbus_dev_del() void