A Vagrant-based environment for cross-compiling the Raspberry Pi kernel