e i servizi attivati sono
in fase di completamento.

L'avvio del kernel ha richiesto @KERNEL_USEC@ microsecondi.

L'avvio del disco RAM ha richiesto @INITRD_USEC@ microsecondi.

L'avvio dello userspace ha richiesto @USERSPACE_USEC@ microsecondi.
