Index: tools/build/options/WITHOUT_LOADER_KBOOT
===================================================================
--- /dev/null
+++ tools/build/options/WITHOUT_LOADER_KBOOT
@@ -0,0 +1 @@
+Disable building of kboot, a linuxboot environment loader
Index: tools/build/options/WITH_LOADER_KBOOT
===================================================================
--- /dev/null
+++ tools/build/options/WITH_LOADER_KBOOT
@@ -0,0 +1 @@
+Build kboot, a linuxboot environment loader