13:39:53 kernel: IPv6: ADDRCONF(NETDEV_UP): wlp1s0: link is not ready 13:34:34 kernel: rfkill: input handler disabled 13:34:33 kernel: fuse init (API version 7.26) 13:34:11 kernel: Bluetooth: BNEP socket layer initialized 13:34:08 kernel: IPv6: ADDRCONF(NETDEV_UP): wlp1s0: link is not ready 13:34:08 kernel: bridge: filtering via arp/ip/ip6tables is no longer available by default. Update your scripts to load br_netfilter if you need this. 13:34:07 kernel: input: BRLTTY 5.6 Linux Screen Driver Keyboard as /devices/virtual/input/input18 13:34:07 kernel: audit: type=1400 audit(1525973647.432:11): apparmor="STATUS" operation="profile_load" profile="unconfined" name="/usr/lib/dovecot/config" pid=610 comm="apparmor_parser" 13:34:07 kernel: EXT4-fs (sda2): mounted filesystem with ordered data mode. Opts: (null) 13:34:07 kernel: input: HDA Intel PCH HDMI/DP,pcm=10 as /devices/pci0000:00/0000:00:1f.3/sound/card0/input17 13:34:07 kernel: Adding 1949692k swap on /dev/mapper/crypt-swap. Priority:-2 extents:1 across:1949692k SSFS 13:34:07 kernel: ath9k 0000:01:00.0 wlp1s0: renamed from wlan0 13:34:07 kernel: ieee80211 phy0: Atheros AR9462 Rev:3 mem=0xffffb26f42180000, irq=16 13:34:07 kernel: ath: Regpair used: 0x6a 13:34:07 kernel: snd_hda_codec_realtek hdaudioC0D0: Mic=0x18 13:34:07 kernel: ACPI: AC Adapter [AC] (on-line) 13:34:07 kernel: usbcore: registered new interface driver ath3k 13:34:07 kernel: ath3k: probe of 1-3:1.0 failed with error -2 13:34:07 kernel: Bluetooth: Loading patch file failed 13:34:07 kernel: usb 1-3: Direct firmware load for ar3k/AthrBT_0x11020100.dfu failed with error -2 13:34:07 kernel: ACPI: Battery Slot [BAT] (battery present) 13:34:07 kernel: usbcore: registered new interface driver btusb 13:34:07 kernel: intel_rapl: Found RAPL domain dram 13:34:07 kernel: Bluetooth: SCO socket layer initialized 13:34:07 kernel: NET: Registered protocol family 31 13:34:07 kernel: Bluetooth: Core ver 2.22 13:34:07 kernel: snd_hda_intel 0000:00:1f.3: bound 0000:00:02.0 (ops i915_audio_component_bind_ops [i915]) 13:34:07 kernel: iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0) 13:34:07 kernel: RAPL PMU: hw unit of domain psys 2^-14 Joules 13:34:07 kernel: iTCO_wdt: Found a Intel PCH TCO device (Version=4, TCOBASE=0x0400) 13:34:07 kernel: shpchp: Standard Hot Plug PCI Controller Driver version: 0.4 13:34:07 kernel: sd 0:0:0:0: Attached scsi generic sg0 type 0 13:34:07 kernel: input: PC Speaker as /devices/platform/pcspkr/input/input9 13:34:07 kernel: iTCO_vendor_support: vendor-support=0 13:34:07 kernel: tpm_tis 00:05: 1.2 TPM (device-id 0x1A, rev-id 16) 13:34:07 kernel: input: Topstar Laptop extra buttons as /devices/virtual/input/input8 13:34:06 kernel: ppdev: user-space parallel port driver 13:34:06 kernel: lp: driver loaded but no devices found 13:34:06 kernel: EXT4-fs (dm-2): re-mounted. Opts: errors=remount-ro 13:34:06 kernel: Listening on Device-mapper event daemon FIFOs. 13:34:06 kernel: Created slice system-systemd\x2dcryptsetup.slice. 13:34:06 kernel: Listening on udev Control Socket. 13:34:06 kernel: Created slice system-systemd\x2dfsck.slice. 13:34:06 kernel: Reached target Remote File Systems. 13:34:06 kernel: Set hostname to . 13:34:06 kernel: Detected architecture x86-64. 13:34:06 kernel: systemd 238 running in system mode. (+PAM +AUDIT +SELINUX +IMA +APPARMOR +SMACK +SYSVINIT +UTMP +LIBCRYPTSETUP +GCRYPT +GNUTLS +ACL +XZ +LZ4 +SECCOMP +BLKID +ELFUTILS +KMOD -IDN2 +IDN -PCRE2 default-hierarchy=hybrid) 13:34:06 kernel: EXT4-fs (dm-2): mounted filesystem with ordered data mode. Opts: (null) 13:34:06 kernel: PM: Image not found (code -22) 13:34:06 kernel: Btrfs loaded, crc32c=crc32c-intel 13:34:06 kernel: xor: automatically using best checksumming function avx 13:34:06 kernel: raid6: using avx2x2 recovery algorithm 13:34:06 kernel: NET: Registered protocol family 38 13:34:06 kernel: random: crng init done 13:34:06 kernel: device-mapper: ioctl: 4.37.0-ioctl (2017-09-20) initialised: dm-devel@redhat.com 13:34:06 kernel: random: lvm: uninitialized urandom read (4 bytes read) 13:34:06 kernel: input: ETPS/2 Elantech Touchpad as /devices/platform/i8042/serio1/input/input7 13:34:06 kernel: psmouse serio1: elantech: Elan sample query result 00, 49, 75 13:34:06 kernel: random: fast init done 13:34:06 kernel: sd 0:0:0:0: [sda] Attached SCSI disk 13:34:06 kernel: ata1.00: Enabling discard_zeroes_data 13:34:06 kernel: sda: sda1 sda2 sda3 < sda5 > 13:34:06 kernel: ata1.00: Enabling discard_zeroes_data 13:34:06 kernel: sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA 13:34:06 kernel: ata1.00: Enabling discard_zeroes_data 13:34:06 kernel: i915 0000:00:02.0: fb0: inteldrmfb frame buffer device 13:34:06 kernel: Console: switching to colour frame buffer device 240x67 13:34:06 kernel: usb 1-3: New USB device strings: Mfr=0, Product=0, SerialNumber=0 13:34:06 kernel: scsi 0:0:0:0: Direct-Access ATA Samsung SSD 860 1B6Q PQ: 0 ANSI: 5 13:34:06 kernel: ata1.00: configured for UDMA/133 13:34:06 kernel: usb 1-3: new full-speed USB device number 2 using xhci_hcd 13:34:06 kernel: ata1.00: supports DRM functions and may not be fully accessible 13:34:06 kernel: ata1: SATA link up 3.0 Gbps (SStatus 123 SControl 300) 13:34:06 kernel: fbcon: inteldrmfb (fb0) is primary device 13:34:06 kernel: [drm] Initialized i915 1.6.0 20171222 for 0000:00:02.0 on minor 0 13:34:06 kernel: i915 0000:00:02.0: DMC firmware homepage: https://01.org/linuxgraphics/downloads/firmware 13:34:06 kernel: firmware_class: See https://wiki.debian.org/Firmware for information about missing firmware 13:34:06 kernel: i915 0000:00:02.0: firmware: failed to load i915/skl_dmc_ver1_27.bin (-2) 13:34:06 kernel: [drm] Driver supports precise vblank timestamp query. 13:34:06 kernel: Console: switching to colour dummy device 80x25 13:34:06 kernel: fb: switching to inteldrmfb from VESA VGA 13:34:06 kernel: checking generic (c0000000 7f0000) vs hw (c0000000 10000000) 13:34:06 kernel: alg: No test for pcbc(aes) (pcbc-aes-aesni) 13:34:06 kernel: ata2: DUMMY 13:34:06 kernel: ata1: SATA max UDMA/133 abar m2048@0xd1135000 port 0xd1135100 irq 124 13:34:06 kernel: scsi host1: ahci 13:34:06 kernel: ahci 0000:00:17.0: flags: 64bit ncq led clo only pio slum part deso sadm sds apst 13:34:06 kernel: hub 2-0:1.0: 6 ports detected 13:34:06 kernel: usb usb2: SerialNumber: 0000:00:14.0 13:34:06 kernel: xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 2 13:34:06 kernel: hub 1-0:1.0: 12 ports detected 13:34:06 kernel: usb usb1: SerialNumber: 0000:00:14.0 13:34:06 kernel: xhci_hcd 0000:00:14.0: cache line size of 64 is not supported 13:34:06 kernel: libata version 3.00 loaded. 13:34:06 kernel: i801_smbus 0000:00:1f.4: SMBus using PCI interrupt 13:34:06 kernel: AES CTR mode by8 optimization enabled 13:34:06 kernel: AVX2 version of gcm_enc/dec engaged. 13:34:06 kernel: cryptd: max_cpu_qlen set to 1000 13:34:06 kernel: usbcore: registered new device driver usb 13:34:06 kernel: ACPI: bus type USB registered 13:34:06 kernel: SCSI subsystem initialized 13:34:06 kernel: ACPI: Power Button [PWRF] 13:34:06 kernel: input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input6 13:34:06 kernel: ACPI: Sleep Button [SLPB] 13:34:06 kernel: input: Sleep Button as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0E:00/input/input5 13:34:06 kernel: ACPI: Power Button [PWRB] 13:34:06 kernel: input: Power Button as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0C:00/input/input4 13:34:06 kernel: ACPI: Lid Switch [LID0] 13:34:06 kernel: input: Lid Switch as /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0C0D:00/input/input3 13:34:06 kernel: x86/mm: Checked W+X mappings: passed, no W+X pages found. 13:34:06 kernel: input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input0 13:34:06 kernel: x86/mm: Checking user space page tables 13:34:06 kernel: Freeing unused kernel memory: 972K 13:34:06 kernel: Write protecting the kernel read-only data: 16384k 13:34:06 kernel: Freeing unused kernel memory: 1524K 13:34:06 kernel: rtc_cmos 00:02: setting system clock to 2018-05-10 17:33:37 UTC (1525973617) 13:34:06 kernel: AppArmor: AppArmor sha1 policy hashing enabled 13:34:06 kernel: zswap: loaded using pool lzo/zbud 13:34:06 kernel: Loaded X.509 cert 'Debian Project: Ben Hutchings: 008a018dca80932630' 13:34:06 kernel: Loading compiled-in X.509 certificates 13:34:06 kernel: registered taskstats version 1 13:34:06 kernel: sched_clock: Marking stable (856840045, 0)->(840540513, 16299532) 13:34:06 kernel: microcode: Microcode Update Driver: v2.2. 13:34:06 kernel: mpls_gso: MPLS GSO support 13:34:06 kernel: NET: Registered protocol family 17 13:34:06 kernel: mip6: Mobile IPv6 13:34:06 kernel: Segment Routing with IPv6 13:34:06 kernel: NET: Registered protocol family 10 13:34:06 kernel: ledtrig-cpu: registered to indicate activity on CPUs 13:34:06 kernel: intel_pstate: HWP enabled 13:34:06 kernel: rtc_cmos 00:02: alarms up to one month, 242 bytes nvram, hpet irqs 13:34:06 kernel: mousedev: PS/2 mouse device common for all mice 13:34:06 kernel: serio: i8042 AUX port at 0x60,0x64 irq 12 13:34:06 kernel: i8042: PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 0x60,0x64 irq 1,12 13:34:06 kernel: AMD IOMMUv2 functionality not available on this system 13:34:06 kernel: Linux agpgart interface v0.103 13:34:06 kernel: Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled 13:34:06 kernel: intel_idle: lapic_timer_reliable_states 0xffffffff 13:34:06 kernel: fb0: VESA VGA frame buffer device 13:34:06 kernel: Console: switching to colour frame buffer device 240x67 13:34:06 kernel: vesafb: framebuffer at 0xc0000000, mapped to 0x (ptrval), using 8128k, total 8128k 13:34:06 kernel: pcieport 0000:00:1c.0: Signaling PME with IRQ 122 13:34:06 kernel: io scheduler mq-deadline registered 13:34:06 kernel: Block layer SCSI generic (bsg) driver version 0.4 loaded (major 248) 13:34:06 kernel: Asymmetric key parser 'x509' registered 13:34:06 kernel: Key type asymmetric registered 13:34:06 kernel: zbud: loaded 13:34:06 kernel: workingset: timestamp_bits=40 max_order=22 bucket_order=0 13:34:06 kernel: Initialise system trusted keyrings 13:34:06 kernel: clocksource: Switched to clocksource tsc 13:34:06 kernel: software IO TLB [mem 0x76a79000-0x7aa79000] (64MB) mapped at [ (ptrval)- (ptrval)] 13:34:06 kernel: PCI-DMA: Using software bounce buffering for IO (SWIOTLB) 13:34:06 kernel: Freeing initrd memory: 34640K 13:34:06 kernel: Unpacking initramfs... 13:34:06 kernel: PCI: CLS 64 bytes, default 64 13:34:06 kernel: pci 0000:00:02.0: Video device with shadowed ROM at [mem 0x000c0000-0x000dffff] 13:34:06 kernel: NET: Registered protocol family 1 13:34:06 kernel: UDP-Lite hash table entries: 8192 (order: 6, 262144 bytes) 13:34:06 kernel: UDP hash table entries: 8192 (order: 6, 262144 bytes) 13:34:06 kernel: TCP: Hash tables configured (established 131072 bind 65536) 13:34:06 kernel: TCP bind hash table entries: 65536 (order: 8, 1048576 bytes) 13:34:06 kernel: tcp_listen_portaddr_hash hash table entries: 8192 (order: 5, 131072 bytes) 13:34:06 kernel: NET: Registered protocol family 2 13:34:06 kernel: pci_bus 0000:01: resource 1 [mem 0xd1000000-0xd10fffff] 13:34:06 kernel: pci 0000:00:1c.0: bridge window [mem 0xd1000000-0xd10fffff] 13:34:06 kernel: clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns 13:34:06 kernel: pnp: PnP ACPI: found 6 devices 13:34:06 kernel: pnp 00:05: Plug and Play ACPI device, IDs PNP0c31 (active) 13:34:06 kernel: system 00:01: Plug and Play ACPI device, IDs PNP0c02 (active) 13:34:06 kernel: pnp: PnP ACPI init 13:34:06 kernel: AppArmor: AppArmor Filesystem Enabled 13:34:06 kernel: VFS: Dquot-cache hash table entries: 512 (order 0, 4096 bytes) 13:34:06 kernel: clocksource: Switched to clocksource tsc-early 13:34:06 kernel: hpet0: 8 comparators, 64-bit 24.000000 MHz counter 13:34:06 kernel: e820: reserve RAM buffer [mem 0x7aa79000-0x7bffffff] 13:34:06 kernel: PCI: pci_cache_line_size set to 64 bytes 13:34:06 kernel: EDAC MC: Ver: 3.0.0 13:34:06 kernel: PTP clock support registered 13:34:06 kernel: pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti 13:34:06 kernel: vgaarb: loaded 13:34:06 kernel: pci 0000:00:02.0: vgaarb: bridge control possible 13:34:06 kernel: ACPI: \_SB_.PCI0.LPCB.EC__: Used as boot DSDT EC to handle transactions and events 13:34:06 kernel: pci 0000:00:1c.0: bridge window [mem 0xd1000000-0xd10fffff] 13:34:06 kernel: pci_bus 0000:00: root bus resource [bus 00-ff] 13:34:06 kernel: PCI host bridge to bus 0000:00 13:34:06 kernel: acpi PNP0A08:00: [Firmware Info]: MMCONFIG for domain 0000 [bus 00-3f] only partially covers this bridge 13:34:06 kernel: ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff]) 13:34:06 kernel: PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug 13:34:06 kernel: ACPI: Using IOAPIC for interrupt routing 13:34:06 kernel: HugeTLB registered 2.00 MiB page size, pre-allocated 0 pages 13:34:06 kernel: PCI: Using configuration type 1 for base access 13:34:06 kernel: acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5 13:34:06 kernel: ACPI: bus type PCI registered 13:34:06 kernel: KVM setup pv remote TLB flush 13:34:06 kernel: cpuidle: using governor menu 13:34:06 kernel: audit: type=2000 audit(1525973616.032:1): state=initialized audit_enabled=0 res=1 13:34:06 kernel: NET: Registered protocol family 16 13:34:06 kernel: pinctrl core: initialized pinctrl subsystem 13:34:06 kernel: futex hash table entries: 1024 (order: 4, 65536 bytes) 13:34:06 kernel: clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns 13:34:06 kernel: x86/mm: Memory block size: 128MB 13:34:06 kernel: devtmpfs: initialized 13:34:06 kernel: smpboot: Total of 4 processors activated (20736.00 BogoMIPS) 13:34:06 kernel: smp: Brought up 1 node, 4 CPUs 13:34:06 kernel: #2 #3 13:34:06 kernel: NMI watchdog: Enabled. Permanently consumes one hw-PMU counter. 13:34:06 kernel: .... node #0, CPUs: #1 13:34:06 kernel: x86: Booting SMP configuration: 13:34:06 kernel: smp: Bringing up secondary CPUs ... 13:34:06 kernel: Hierarchical SRCU implementation. 13:34:06 kernel: ... event mask: 000000070000000f 13:34:06 kernel: Performance Events: PEBS fmt3+, Skylake events, 32-deep LBR, full-width counters, Intel PMU driver. 13:34:06 kernel: smpboot: CPU0: Intel(R) Core(TM) i7-6500U CPU @ 2.50GHz (family: 0x6, model: 0x4e, stepping: 0x3) 13:34:06 kernel: TSC deadline timer enabled 13:34:06 kernel: Freeing SMP alternatives memory: 28K 13:34:06 kernel: Spectre V2 : Enabling Restricted Speculation for firmware calls 13:34:06 kernel: Last level dTLB entries: 4KB 64, 2MB 0, 4MB 0, 1GB 4 13:34:06 kernel: process: using mwait in idle threads 13:34:06 kernel: CPU0: Thermal monitoring enabled (TM1) 13:34:06 kernel: mce: CPU supports 8 MCE banks 13:34:06 kernel: CPU: Processor Core ID: 0 13:34:06 kernel: Mountpoint-cache hash table entries: 32768 (order: 6, 262144 bytes) 13:34:06 kernel: Mount-cache hash table entries: 32768 (order: 6, 262144 bytes) 13:34:06 kernel: Inode-cache hash table entries: 1048576 (order: 11, 8388608 bytes) 13:34:06 kernel: Dentry cache hash table entries: 2097152 (order: 12, 16777216 bytes) 13:34:06 kernel: AppArmor: AppArmor initialized 13:34:06 kernel: Yama: disabled by default; enable with sysctl kernel.yama.* 13:34:06 kernel: Security Framework initialized 13:34:06 kernel: pid_max: default: 32768 minimum: 301 13:34:06 kernel: Calibrating delay loop (skipped), value calculated using timer frequency.. 5184.00 BogoMIPS (lpj=10368000) 13:34:06 kernel: clocksource: tsc-early: mask: 0xffffffffffffffff max_cycles: 0x255cb6cc5db, max_idle_ns: 440795203504 ns 13:34:06 kernel: tsc: Detected 2592.000 MHz TSC 13:34:06 kernel: ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1 13:34:06 kernel: Switched APIC routing to cluster x2apic. 13:34:06 kernel: x2apic enabled 13:34:06 kernel: DMAR-IR: Enabled IRQ remapping in x2apic mode 13:34:06 kernel: DMAR: dmar1: reg_base_addr fed91000 ver 1:0 cap d2008c40660462 ecap f050da 13:34:06 kernel: APIC: Switch to symmetric I/O mode setup 13:34:06 kernel: hpet clockevent registered 13:34:06 kernel: clocksource: hpet: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 79635855245 ns 13:34:06 kernel: ACPI: 2 ACPI AML tables successfully acquired and loaded 13:34:06 kernel: console [tty0] enabled 13:34:06 kernel: Console: colour dummy device 80x25 13:34:06 kernel: NR_IRQS: 33024, nr_irqs: 1024, preallocated irqs: 16 13:34:06 kernel: RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=4 13:34:06 kernel: RCU restricting CPUs from NR_CPUS=512 to nr_cpu_ids=4. 13:34:06 kernel: Hierarchical RCU implementation. 13:34:06 kernel: ftrace: allocating 29904 entries in 117 pages 13:34:06 kernel: Kernel/User page tables isolation: enabled 13:34:06 kernel: SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=4, Nodes=1 13:34:06 kernel: Memory: 16302876K/16689244K available (10252K kernel code, 1182K rwdata, 3124K rodata, 1524K init, 688K bss, 386368K reserved, 0K cma-reserved) 13:34:06 kernel: Calgary: Unable to locate Rio Grande table in EBDA - bailing! 13:34:06 kernel: Kernel command line: BOOT_IMAGE=/vmlinuz-4.16.0-1-amd64 root=/dev/mapper/crypt-root ro quiet splash vt.handoff=7 13:34:06 kernel: Policy zone: Normal 13:34:06 kernel: Built 1 zonelists, mobility grouping on. Total pages: 4107096 13:34:06 kernel: pcpu-alloc: [0] 0 1 2 3 13:34:06 kernel: percpu: Embedded 44 pages/cpu @ (ptrval) s142296 r8192 d29736 u524288 13:34:06 kernel: setup_percpu: NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:4 nr_node_ids:1 13:34:06 kernel: random: get_random_bytes called from start_kernel+0x94/0x478 with crng_init=0 13:34:06 kernel: clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645519600211568 ns 13:34:06 kernel: Booting paravirtualized kernel on bare hardware 13:34:06 kernel: e820: [mem 0x80000000-0xdfffffff] available for PCI devices 13:34:06 kernel: PM: Registered nosave memory: [mem 0xfed92000-0xffffffff] 13:34:06 kernel: smpboot: Allowing 4 CPUs, 0 hotplug CPUs 13:34:06 kernel: ACPI: HPET id: 0x8086a701 base: 0xfed00000 13:34:06 kernel: Using ACPI (MADT) for SMP configuration information 13:34:06 kernel: ACPI: IRQ9 used by override. 13:34:06 kernel: IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-119 13:34:06 kernel: ACPI: Local APIC address 0xfee00000 13:34:06 kernel: Reserving Intel graphics memory at [mem 0x7c000000-0x7fffffff] 13:34:06 kernel: Reserved but unavailable: 98 pages 13:34:06 kernel: Normal zone: 3670016 pages, LIFO batch:31 13:34:06 kernel: On node 0 totalpages: 4172311 13:34:06 kernel: Initmem setup node 0 [mem 0x0000000000001000-0x000000047fffffff] 13:34:06 kernel: node 0: [mem 0x0000000100000000-0x000000047fffffff] 13:34:06 kernel: Early memory node ranges 13:34:06 kernel: Movable zone start for each node 13:34:06 kernel: Device empty 13:34:06 kernel: Zone ranges: 13:34:06 kernel: NODE_DATA(0) allocated [mem 0x47fffb000-0x47fffffff] 13:34:06 kernel: Faking a node at [mem 0x0000000000000000-0x000000047fffffff] 13:34:06 kernel: No NUMA configuration found 13:34:06 kernel: ACPI: Local APIC address 0xfee00000 13:34:06 kernel: RAMDISK: [mem 0x33c47000-0x35e1afff] 13:34:06 kernel: BRK [0x27c632000, 0x27c632fff] PGTABLE 13:34:06 kernel: Using GB pages for direct mapping 13:34:06 kernel: Base memory trampoline at [ (ptrval)] 99000 size 24576 13:34:06 kernel: e820: last_pfn = 0x7aa79 max_arch_pfn = 0x400000000 13:34:06 kernel: x86/PAT: Configuration [0-7]: WB WC UC- UC WB WP UC- WT 13:34:06 kernel: 9 disabled 13:34:06 kernel: MTRR variable ranges enabled: 13:34:06 kernel: C0000-FFFFF write-back 13:34:06 kernel: MTRR fixed ranges enabled: 13:34:06 kernel: e820: last_pfn = 0x480000 max_arch_pfn = 0x400000000 13:34:06 kernel: DMI: Purism Librem 13 v2/Librem 13 v2, BIOS 4.7-Purism-4 03/20/2018 13:34:06 kernel: SMBIOS 2.7 present. 13:34:06 kernel: NX (Execute Disable) protection: active 13:34:06 kernel: BIOS-e820: [mem 0x0000000100000000-0x000000047fffffff] usable 13:34:06 kernel: e820: BIOS-provided physical RAM map: 13:34:06 kernel: x86/fpu: Enabled xstate features 0x1f, context size is 960 bytes, using 'compacted' format. 13:34:06 kernel: Command line: BOOT_IMAGE=/vmlinuz-4.16.0-1-amd64 root=/dev/mapper/crypt-root ro quiet splash vt.handoff=7 13:34:06 kernel: Linux version 4.16.0-1-amd64 (debian-kernel@lists.debian.org) (gcc version 7.3.0 (Debian 7.3.0-17)) #1 SMP Debian 4.16.5-1 (2018-04-29)