Yes, they will be on your system menu. However, with your 16 GB SD Card, System Menu will not run. instead, you'd need to replace it with TWiLightMenu++Will my DSIWare still be there after I follow the instructions?
Can i easily use my 16GB Card?
Instructions can be found here: https://ds-homebrew.github.io/installing-twilight-menu++