set_noextract_set
set_noextract_set(SET_KERNEL_1);
set_noextract_set(EVBPPC_SET_KERNEL_NINTENDO_MP);
set_noextract_set(EVBPPC_SET_KERNEL_NINTENDO);
void set_noextract_set(unsigned int);