UEFI Secure Boot - невозможно подписать модули ядра VirtualBox - sign-key ничего не делает

У меня Dell XPS 13 9360, на котором я пытаюсь запустить VirtualBox. Я следовал инструкциям по созданию ключа подписи MOK, например, Не удалось загрузить vboxdrv после обновления до Ubuntu 16.04 (и я хочу сохранить безопасную загрузку), а затем запустить /usr/src/linux-headers-$(uname -r)/scripts/sign-key с заявленными параметрами на vboxdrv.ko, sign-key выходит с кодом 0, указывающим на успех, без сообщений. Тем не менее, когда я проверяю "подписанный" файл с modinfo Я только вижу:

modinfo ./vboxdrv.ko 
filename:       ./vboxdrv.ko
version:        5.0.40_Ubuntu r115130 (0x00240000)
license:        GPL
description:    Oracle VM VirtualBox Support Driver
author:         Oracle Corporation
srcversion:     6D8B4900A693FC50489A130
depends:        
name:           vboxdrv
vermagic:       4.13.0-32-generic SMP mod_unload 
parm:           force_async_tsc:force the asynchronous TSC mode (int)

Я должен увидеть signer, sig_key а также sig_hashalgo Но я не вижу ничего из этого. Я попытался запустить на другой машине с тем же ядром, и тот же результат. Нет ошибок, но нет подписи.

Точная команда, которую я запускаю (как root):
/usr/src/linux-headers-4.13.0-32-generic/scripts/sign-file sha256 ./MOK.key ./MOK.der ./vboxdrv.ko

Размер файла vboxdrv.ko кажется, увеличивается на пару КБ каждый раз, когда я бегу sign-key, так что он что-то делает, но я не могу сказать, что. Я также использовал необязательный последний аргумент sign-key выводить в новый файл (а не на место), и новый файл также не имеет распознаваемой подписи.

Изменить: я должен был упомянуть, после загрузки ключа в менеджер ключей UEFI и перезагрузки, я все еще получаю Required key not available при попытке загрузить "подписанный" модуль ядра.

Есть идеи, как это отладить?