DEV_REMOVE
if (op == DEV_REMOVE) {
(void) update_devices(ap_id, DEV_REMOVE);
(void) update_devices(OBP_CPU, DEV_REMOVE);