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