Well, I disabled intel speedstep in the bios and things seem to be better. Startup time now is around 1.20 mins (still better than 3mins), both in plugged and unplugged state (booting in plugged state was around 45 secs before tho). I'll use my PC for a bit more, trying another couple of reboots and then I'll confirm if and how this helped.
Cheers, Fab -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/17c482cf-9274-4b62-aa94-9a0868465425%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.