Comment 54 for bug 508516

I haven't tried tried the parameter nohpet, but I have been messing with this today and don't have a boot problem when I omit "nohz=off highres=off". That is, boot time is about 40 seconds (which is approximately the same as with the arguments).