Missing key when upgrading from Leap 15.2 to 15.3

Hi, In boo#1188475, a user with secure boot enabled is having trouble loading the VirtualBox modules. When he runs the 'mokutil -l' command, the only key he has installed is "SUSE Linux Enterprise Secure Boot CA", but the vbox modules are signed with "openSUSE Secure Boot CA". There have been no other complaints about this problem. Either most users have secure boot off as I do, or a fresh install (not upgrade) gets different keys. Is there any easy way to instruct him to add that additional key? What package is supposed to have that key? Thanks, Larry