The SDHC standard manages cards big as 32GB. So any device/OS that is able to manage cards bigger than the 4GB ones should be able to manage the 32 GB also.