Nada más simple que borrar los juegos que no uses, usar el tema de PS4 default (Por que un tema animado lagea un huevo los menú, lo digo por experiencia con el de Crash Bandicoot) O guardar los saves de tus juegos en la nube, formatear el disco duro, y cuando acabes iniciar sesión e instalar todos aquellos juegos que tenías anteriormente y posteriormente recuperar sus archivos de guardado. En 2017 es muy difícil tener una PS4 sin HDD lleno, con tener 30 juegos digitales se te va a la mierda el HDD, simplemente por que cada uno de los juegos te va a traer al menos 1 actualización mensual de 10gb.