SDHC cards under OpenBSD.

I used dmesg to discover if my SDHC card is recognized but I see things like sdhc0 and sdmmc0 and no one works when I do : disklabel sdhc0 or disklabel sdmmc0.So,Is there a more common,usual device name for SDHC cards? Thanks.

Authentication completing my OpenBSD 5.2 install.

I have installed all of OpenBSD 5.2 that came with the install52.iso and everything is fine.Now I want to install a GUI(gnome or kde) and other software that did not come with install52.iso.How can I be certain that the download is cryptographically secure and the downloaded packages are genuine?