Do not build kboot, a linuxboot environment loader