EVBPPC_SET_KERNEL_NINTENDO
set_kernel_set(EVBPPC_SET_KERNEL_NINTENDO);
set_noextract_set(EVBPPC_SET_KERNEL_NINTENDO);