Kevin, where did you find SDHC example in NXP SDK ?
I do not see any example of sdcard neither sdhc in the latest SDK v2.4 - was it removed?
See my list of driver_examples which came with FRDM-K64F SDK v2.4.0 . Notice - I've built this SDK with SDHC and fatFS components chosen.

What happened? Was it removed? Please advise