Comment 15 for bug 1743908

slightly different on a different hardware
07:39:58 kernel: MODSIGN: Couldn't get UEFI db list
07:39:58 kernel: Couldn't get size: 0x800000000000000e

System:
  Host: corrado-HP-p3-cc-0515 Kernel: 4.15.0-22-generic x86_64 bits: 64
  compiler: gcc v: 7.3.0 Desktop: Gnome 3.28.1
  Distro: Ubuntu Cosmic Cuttlefish (development branch)
CPU:
  Topology: Dual Core model: Intel Core i5-4210U bits: 64 type: MT MCP
  arch: Haswell rev: 1 L2 cache: 3072 KiB
  flags: lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx bogomips: 19155
  Speed: 998 MHz min/max: 800/2700 MHz Core speeds (MHz): 1: 905 2: 900
  3: 898 4: 899
corrado@corrado-HP-p3-cc-0515:~$