[Bug 1111076] VirtualBox video driver crashes with the last kernel 4.12.14-lp150.12.19