This is how far I've gotten:echo deb http://download.virtualbox.org/virtualbox/debian jessie contrib | tee -a /etc/apt/sources.listwget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | apt-key add -apt-get updateapt-get install -y linux-headers-amd64 virtualbox-5.1dpkg-reconfigure virtualbox-5.1But I receive an error messagedpkg-query: no path found matching pattern /lib/modules/4.7.3-coreos-r2/kernelvboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.dpkg-query: no path found matching pattern /lib/modules/4.7.3-coreos-r2/kernelThis system is not currently set up to build kernel modules (system extensions).Running the following commands should set the system up correctly:  apt-get install -headers-4.7.3-coreos-r2(The last command may fail if your system is not fully updated.)  apt-get install -headers-r2The onscreen instructions are not correct since -headers-4.7.3-coreos-r2 doesn't exist. Neither does linux-headers-4.7.3-coreos-r2. I also tried linux-headers-$(uname-r) which indeed expands to linux-headers-4.7.3-coreos-r2 and linux-headers-generic which says it has no installation candidate. 
What do I need to do to install the relevant CoreOS linux-headers to make VirtualBox happy?
coreos