Comment # 12 on bug 1174492 from Jean-Claude Dole

(In reply to Larry Finger from comment #11)
> (In reply to Jean-Claude Dole from comment #9)
> > Does not work for me. I got two copy of vboxdrv in two different folder.
> .......................... 
>
There were 4 modules 'vbox*.ko' including 'vboxdrv.ko' in
/lib/modules/5.3.18-lp152.26-default/misc
and one copy of vboxdrv.ko in /lib/modules/5.3.18-lp152.19-default/extra
!!! I am not sure presently of ''default/extra'' !!!

Ps : The 2020-07-25th, I was running kernel 5.3.18-lp152.26-default; I started
from scratch a new install for using the patch. The running kernel is now
5.3.18-lp152.33-default