[COFF] Re: [TUHS] Porting the SysIII kernel: boot, config & device drivers