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