Bug#890999: VirtualBox modules built against headers version 4.14.17-1 cannot be loaded by kernel version 4.14.13-1: Unknown symbol __x86_indirect_thunk_r15 (err 0)

[Evgeny Kapun <abacabadabacaba@gmail.com>]

Package: linux-headers-4.14.0-3-amd64
Version: 4.14.17-1

When I build VirtualBox kernel modules using linux-headers-4.14.0-3-amd64 version 4.14.17-1, the resulting modules can't be loaded using linux-image-4.14.0-3-amd64 version 4.14.13-1. When I build the same modules using headers version 4.14.13-1, they load successfully.

Here are some error messages:

systemd[1]: Starting LSB: VirtualBox Linux kernel module...
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r15 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_rax (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_rdx (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r14 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_rbx (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r13 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r10 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_rcx (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_rsi (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r9 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r12 (err 0)
kernel: vboxdrv: Unknown symbol __x86_indirect_thunk_r8 (err 0)
virtualbox[6834]: Loading VirtualBox kernel modules...modprobe vboxdrv failed. Please use 'dmesg' to find out why ... failed!
virtualbox[6834]:  failed!