This brings VirtualBox to the latest upstream version, which also fixes building the modules against kernel 4.9.0. Tested against all the the "virtualbox" subtests on x86_64-linux.
