It seems relatively well known now that there's a lot of problems with class 10 SDHC cards:
There are issues with most Class 10 SDHC cards, apparently due to a bug in the Broadcom bootloader.(link)
Is this a problem that can be fixed with a later firmware update, or will it likely require the purchase of a new device?