Correction: SDHC is not wired to SPI but 4 bit SDHC interface to MCU pins.
Also the FRDM-K64F SDK provided SDHC module is not the one described in MCUXpresso SDK reference manual therefore the examples provided in SDK API for Secure SD card don't work here.