Redimensionar la partición de arranque es un poco complicado, porque no se puede hacer mientras se arranca desde ella.
Si quieres evitar ensuciarte las manos en Terminal, la antigua forma de hacerlo solía ser iPartición pero ya es un poco viejo y no puede lidiar con las unidades de Core Storage. El nuevo niño en el bloque parece ser Gestor de discos duros Paragon que tengo pero aún no he utilizado para esta tarea en particular. También es capaz de mover las particiones de Boot Camp, si alguna vez lo necesitas.
Para cualquiera de las dos cosas, es necesario arrancar desde otro dispositivo. iPartition haría CDs de arranque, iirc, pero Paragon puede hacer llaves USB de arranque; que he utilizado con éxito.
Una vez que tienes dos posibles particiones de arranque, eliminar cualquiera de ellas es simplemente una tarea inversa a la inicial, y al ser un SSD, la ubicación real de los datos no es importante, a diferencia de un disco giratorio.
Tal vez esperar un día o dos para ver si alguien viene con el método alternativo de Terminal - que por supuesto es libre - o dar Paragon una prueba; Creo que su demo es totalmente funcional [aunque no he probado la demo, fui directamente a la versión completa].
