Symbol: SDHC_64BIT_SYS_BUS