

Jan 18 23:26:41 Aleteoryx kernel: x86/PAT: Configuration : WB WC UC- UC WB WP UC- WT Jan 18 23:26:41 Aleteoryx kernel: e820: remove usable Jan 18 23:26:41 Aleteoryx kernel: e820: update usable => reserved Jan 18 23:26:41 Aleteoryx kernel: tsc: Detected 1796.715 MHz processor Jan 18 23:26:41 Aleteoryx kernel: tsc: Fast TSC calibration using PIT Jan 18 23:26:41 Aleteoryx kernel: DMI: Dell Inc. Jan 18 23:26:41 Aleteoryx kernel: SMBIOS 3.1.1 present. Jan 18 23:26:41 Aleteoryx kernel: efi: EFI v2.50 by Dell Inc. Jan 18 23:26:41 Aleteoryx kernel: NX (Execute Disable) protection: active Jan 18 23:26:41 Aleteoryx kernel: BIOS-e820: ACPI data Jan 18 23:26:41 Aleteoryx kernel: BIOS-e820: ACPI NVS Jan 18 23:26:41 Aleteoryx kernel: BIOS-e820: reserved Jan 18 23:26:41 Aleteoryx kernel: BIOS-e820: usable Jan 18 23:26:41 Aleteoryx kernel: BIOS-provided physical RAM map: Jan 18 23:26:41 Aleteoryx kernel: signal: max sigframe size: 1776 Jan 18 23:26:41 Aleteoryx kernel: x86/fpu: Enabled xstate features 0x7, context size is 832 bytes, using 'standard' format. Jan 18 23:26:41 Aleteoryx kernel: x86/fpu: Supporting XSAVE feature 0x004: 'AVX registers' Jan 18 23:26:41 Aleteoryx kernel: x86/fpu: Supporting XSAVE feature 0x002: 'SSE registers' Jan 18 23:26:41 Aleteoryx kernel: x86/fpu: Supporting XSAVE feature 0x001: 'x87 floating point registers' Jan 18 23:26:41 Aleteoryx kernel: random: get_random_u32 called from bsp_init_amd+0x26d/0x290 with crng_init=0
