15.3
Sort input file names in lib/Makefile
Restructure our includes.
More va_* work
SPDX: Clarify the attribution for James's lib/ code
Make 'make test' work on gcc 4.8.5
Fix boot failures due to variable size constraints