diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md
index e46a6c5..148e1cb 100644
--- a/examples/linux-kernel/README.md
+++ b/examples/linux-kernel/README.md
@@ -168,4 +168,5 @@ The gclang build of the kernel adds llvm_bc headers to most files, and those mes
 We need to have a separate folder built form clang or gcc on which to finish the kernel build and install.
 Finally, calling the install-kernel script will copy the new kernel into the clang generated folder and finish the build and install. Rebooting will be on the bitcode kernel.
 
-NB: The generated kernel boots properly but it may be buggy. Most notably, I have experienced issues when shutting down and booting the machine a second time.
+NB: I can't seem to boot on the generated kernel via Vagrant.
+NB: On a dedicated VirtualBox machine, the generated kernel boots properly but it may be buggy. Most notably, I have experienced issues when shutting down and booting the machine a second time.