LEAP 15.1 Problems with multiple kernels and virtualbox kernel modules

Hi, Virtualbox is complaining that it cannot compile kernel modules. As a result I removed the Opensuse packages and installed the Oracle version - following some instructions on this site. But things did not improve. I seem to be using an older kernel despite having newer kernels installed - see below. So my system is not conducive to a good Virtualbox install. Can anyone shed some light on this? This box has been updated over a long time and appears to have accumulated older kernels and possibly some bad configurations.


The following NEW package is going to be installed:
VirtualBox-6.1

1 new package to install.
Overall download size: 0 B. Already cached: 88.4 MiB. After the operation, additional 197.4 MiB will be used.
Continue? [y/n/v/...? shows all options] (y):
In cache VirtualBox-6.1-6.1.4_136177_openSUSE150-1.x86_64.rpm (1/1), 88.4 MiB (197.4 MiB unpacked)

Checking for file conflicts: ...........................................................................................................................................[done]
(1/1) Installing: VirtualBox-6.1-6.1.4_136177_openSUSE150-1.x86_64 .....................................................................................................[done]
Additional rpm output:
Unknown media type in type 'all/all'
Unknown media type in type 'all/allfiles'

Creating group 'vboxusers'. VM users must be member of that group!

Created symlink /etc/systemd/system/multi-user.target.wants/vboxdrv.service -> /usr/lib/systemd/system/vboxdrv.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxballoonctrl-service.service -> /usr/lib/systemd/system/vboxballoonctrl-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxautostart-service.service -> /usr/lib/systemd/system/vboxautostart-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxweb-service.service -> /usr/lib/systemd/system/vboxweb-service.service.
This system is currently not set up to build kernel modules.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
kernel-default-devel kernel-default-devel-4.12.14-lp150.12.25
This system is currently not set up to build kernel modules.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
kernel-default-devel kernel-default-devel-4.12.14-lp150.12.25


================================================


zypper se -si virtualbox kernel-default
Loading repository data...
Reading installed packages...

S | Name | Type | Version | Arch | Repository
---+----------------------+---------+----------------------------+--------+--------------------------
i+ | VirtualBox-6.1 | package | 6.1.4_136177_openSUSE150-1 | x86_64 | (System Packages)
i+ | kernel-default | package | 4.12.14-lp150.12.25.1 | x86_64 | (System Packages)
i+ | kernel-default | package | 4.12.14-lp151.28.44.1 | x86_64 | openSUSE:Leap:15.1:Update
i+ | kernel-default | package | 4.12.14-lp151.28.44.1 | x86_64 | Main Update Repository
i+ | kernel-default | package | 4.12.14-lp151.28.40.1 | x86_64 | openSUSE:Leap:15.1:Update
i+ | kernel-default | package | 4.12.14-lp151.28.40.1 | x86_64 | Main Update Repository
i+ | kernel-default-devel | package | 4.12.14-lp151.28.44.1 | x86_64 | openSUSE:Leap:15.1:Update
i+ | kernel-default-devel | package | 4.12.14-lp151.28.44.1 | x86_64 | Main Update Repository
i+ | kernel-default-devel | package | 4.12.14-lp151.28.40.1 | x86_64 | openSUSE:Leap:15.1:Update
i+ | kernel-default-devel | package | 4.12.14-lp151.28.40.1 | x86_64 | Main Update Repository