_USEC@ microsecondi.

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

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