v0.9.7
[efi] Use EFI-native mechanism for accessing SMBIOS table
[makefile] Split config.h out into config/*.h and kill off mkconfig.pl
[config] Split console configuration out to config/console.h
[ioapi] Formalise the I/O API as used in i386-pcbios
[login] Add "login" command and UI
[pci] Formalise the PCI I/O API
[nap] Formalise the CPU sleeping API
[timer] Formalise the timer API
[umalloc] Formalise the user memory allocation API