Tienes que formatear el disco duro pero en Formateo Rápido y todo para la PS3, y luego vuelves a dejar el espacio de 10Gb para el Linux.
Pero acueradate, primero tienes que formatear dejando todo el espacio para la PS3.
Saludos
PD: Seguramente habrá otra manera de hacerlo pero yo lo hago así xD