Symbol: userboot_setcurrdev