Me too. I have two pauses. However, I can force the booting process to continue by pressing keys.
In my case, after the pause, "clocksource tsc" is mentioned but I don't know what that could mean.
Here are two snippets from dmesg:
[ 0.822289] ACPI: Power Button [PWRB]
[ 0.822322] input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input1
[ 0.822324] ACPI: Power Button [PWRF]
[ 0.822428] ACPI: acpi_idle registered with cpuidle
[ 0.822441] ACPI: processor limited to max C-state 1
[ 156.341807] Switching to clocksource tsc
[ 156.410961] ERST: Table is not found!
[ 156.411007] Serial: 8250/16550 driver, 32 ports, IRQ sharing enabled
[ 156.431598] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[ 156.621068] 00:08: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[ 156.621250] Linux agpgart interface v0.103
I hope we can find the cause because this problem is very annoying.
[ 158.036476] ata4.00: ATA-8: SAMSUNG HD103SJ, 1AJ10001, max UDMA/133
[ 158.036478] ata4.00: 1953525168 sectors, multi 0: LBA48 NCQ (depth 31/32), AA
[ 158.037133] ata5.00: configured for UDMA/100
[ 158.042986] ata4.00: configured for UDMA/133
[ 186.719080] Clocksource tsc unstable (delta = -25769490492 ns)
[ 186.719160] ata3: softreset failed (device not ready)
[ 186.719162] ata3: applying SB600 PMP SRST workaround and retrying
[ 186.720072] Switching to clocksource hpet