Unfortunately nothing looks out of place to me (beside of the pauses of course). I put together all the patches that were discussed on the mailing list and uploaded a kernel with that. If you could try that as well...
If this still gives pauses, maybe try "highres=off nohz=off" for boot parameters.
And maybe try ALT+Print+q and ALT+Print+w. Since hitting a key makes the boot running on, the sysrq keys should have some effect. Use those only once or twice. They generate a bit of output to dmesg.
Unfortunately nothing looks out of place to me (beside of the pauses of course). I put together all the patches that were discussed on the mailing list and uploaded a kernel with that. If you could try that as well...
If this still gives pauses, maybe try "highres=off nohz=off" for boot parameters.
And maybe try ALT+Print+q and ALT+Print+w. Since hitting a key makes the boot running on, the sysrq keys should have some effect. Use those only once or twice. They generate a bit of output to dmesg.