Comment 14 for bug 1743908

Still having the problem:
06:07:39 kernel: Couldn't get size: 0x800000000000000e
06:07:39 kernel: MODSIGN: Couldn't get UEFI db list
06:07:39 kernel: Couldn't get size: 0x800000000000000e

corrado@corrado-p6-cc-0509:~$ inxi -SCx
System: Host: corrado-p6-cc-0509 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 i3-7100 bits: 64 type: MT MCP arch: Skylake
           rev: 9 L2 cache: 3072 KiB
           flags: lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx bogomips: 31296
           Speed: 800 MHz min/max: 800/3900 MHz Core speeds (MHz): 1: 800 2: 802 3: 800 4: 800
corrado@corrado-p6-cc-0509:~$