La "perdida" de espacio, se debe a que los discos deben de estar formateados para poder usarse.
Y formatear no es borrarlo, sino, distribuir el espacio por asi decirlo. Y esa distribucion gasta un poco de memoria.
Tambien se pierde otro poco, porque supongo que la ps3 usara una particion para memoria cache (Algo que windows sigue sin implantar(generador del 80% de los pantallazos azules), pero linux si con la particion swap)
Y na, eso.
Sigo sin entender que les habria costado poner algun otro tipo de memoria como cache, ya sea una flash, o una ram cutre. Total, para pagar 600€, ami no me habria importado pagar 20€ mas por no tener apenas tiempos de carga.