[    2.231077] hv_utils: Registering HyperV Utility Driver
[    2.236322] hv_vmbus: registering driver hv_util
[    2.240950] hv_vmbus: registering driver hv_balloon
[    2.245848] x86/pm: family 0x16 cpu detected, MSR saving is needed during suspending.
[    2.254283] NET: Registered protocol family 10
[    2.259323] Segment Routing with IPv6
[    2.263048] NET: Registered protocol family 17
[    2.267551] 8021q: 802.1Q VLAN Support v1.8
[    2.271884] NET: Registered protocol family 40
[    2.277208] mce: Using 6 MCE banks
[    2.280749] microcode: CPU0: patch_level=0x07030105
[    2.285704] microcode: CPU1: patch_level=0x07030105
[    2.290621] ata1: SATA link down (SStatus 0 SControl 300)
[    2.296070] microcode: CPU2: patch_level=0x07030105
[    2.296115] ata2: SATA link down (SStatus 0 SControl 300)
[    2.300998] microcode: CPU3: patch_level=0x07030105
[    2.311310] microcode: Microcode Update Driver: v2.2.
[    2.311332] AVX version of gcm_enc/dec engaged.
[    2.320942] AES CTR mode by8 optimization enabled
[    2.327454] sched_clock: Marking stable (1764808307, 562631961)->(2341596405, -14156137)
[    2.336443] rtc_cmos 00:01: setting system clock to 2019-11-12 15:12:37 UTC (1573571557)
[    2.344969] acpi_cpufreq: overriding BIOS provided _PSD data
[    2.346666] mmc0: new high speed SDHC card at address 0001
[    2.356785] mmcblk0: mmc0:0001 00000 29.8 GiB
[    2.362422]  mmcblk0: p1 p2 p3
[    2.366222] Waiting for root device PARTUUID=-02...
[    2.443495] usb 1-1: new high-speed USB device number 2 using ehci-pci
[    2.644453] hub 1-1:1.0: USB hub found
[    2.648562] hub 1-1:1.0: 4 ports detected
[    2.753516] tsc: Refined TSC clocksource calibration: 998.128 MHz
[    2.759676] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x1cc65d64e77, max_idle_ns: 881590512558 ns