v0.9.9
[config] Enable PXE commands by default only on pcbios architecture
[makefile] Split config.h out into config/*.h and kill off mkconfig.pl
[legal] Add a selection of FILE_LICENCE declarations
[infiniband] Add support for SRP over Infiniband
[serial] Define constants for serial port I/O addresses