Una últma opción por si la de HP o la del consorcio de tarjetas SD no os pareció bastante.
El programa que instala Raspbmc en la Raspberry tiene una opción para restaurar la tarjeta SD al estado original y así poder volverla a usar desde Windows o una cámara de fotos.

Solo hay que insertar la tarjeta y desde el instalador de Raspbmc hacer click en el botón que os indico en este pantallazo: