EVBPPC_SET_KERNEL_NINTENDO_MP
set_kernel_set(EVBPPC_SET_KERNEL_NINTENDO_MP);
set_noextract_set(EVBPPC_SET_KERNEL_NINTENDO_MP);