K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2018-01-08T18:47:35.656915Z
K 7
svn:log
V 274
Use <stand.h> instead of <inttypes.h> and <stdio.h> in boot code.

In the freestanding boot compile environment, standard headers are not
available.  Curiously, only building with clang exposed this as compiles
with external GCC still succeeded.

Sponsored by:	DARPA / AFRL

END