Hallo molniard,
du hattest recht, die Windowszeit hat nicht gepasst. Als ich die Zeit gemessen habe, wurde offenbar ein Update konfiguriert (wenngleich auch keine derartige Meldung zu sehen war). Jedenfalls liegt Windows nun auch von „Start“ (GRUB) bis „Ende“ (funktionsfähiger Firefox) innerhalb von 20 Sekunden und ist deutlich schneller als bei der HDD.
Zu den Zeiten, die ich bis gerade eben noch angegeben hatte, gehörten noch 9 Sekunden, bis GRUB geladen war. Streng genommen darf man das ja nicht zur Bootzeit zählen, daher habe ich sie nun von allen bisherigen Werten abgezogen.
Aber deine 4 Sekunden Bootzeit schaffe ich dennoch nicht zu schlagen 