Use Vagrant to test code which oops'es a Linux kernel, and retain kernel logs