The "SDHC" in the name means it supports microSD cards. Do not use 64GB (SDXC) without reformatting to FAT32 using a third-party tool (not officially supported, and often causes lag).
If you accidentally installed the official kernel from r4isdhc.com , your cart will stop booting around 2020-2025. Here is the fix buying a new cart: