Ya tengo el disco SSD funcionando.
Al final me ha sido imposible hacerlo funcionar bajo EFI, así que lo he puesto como MBR, que es algo que tampoco me importa demasiado.
Si ya Voidlinux iba rapidísimo arrancando, ahora es la leche, solo 6 segundos en total.
Los programas se abren de inmediato, y la copia desde un USB 3.0 es casi instantánea.
En general, parece otro equipo.