virtualbox: rebuild against new kernels