According to #82, that deb was not installed successfully.
This is probably because you enabled secure boot in the BIOS or boot the signed kernel. Could you change to use the unsigned kernel (#79), maybe disable the secure boot in the BIOS, then you could load the unsigned kernel.
According to #82, that deb was not installed successfully.
This is probably because you enabled secure boot in the BIOS or boot the signed kernel. Could you change to use the unsigned kernel (#79), maybe disable the secure boot in the BIOS, then you could load the unsigned kernel.