Hi, is it possible to access dsi mode from a flashcart? I followed the instructions to autoboot twilightmenu to my r4isdhc card and I can't seem to find both the dsi boot option and the cpu clock option... I seem to have the 47khz audio option though.