K 10 svn:author V 3 imp K 8 svn:date V 27 2017-11-13T00:30:38.883856Z K 7 svn:log V 349 Use proper include file. While works, it only works because we have -Isys on the command line. We also have -Isys/boot/userboot on the command line, so bring it in directly with . No functional change, but it removes one hard to see dependency on the boot loader's location in sys/boot. Sponsored by: Netflix END