I bought a raspberry pi and I have yet to get it to boot from any of my SDHC cards. It does work as a colleague of mine got it to boot on his SDHC card.... I gave up (temporarily) after wasting two evenings on it. I'll get a new SDHC card and try again when I have some time.