DTU: use fixed-width integers in StartEnv and KernelEnv.
DTU: use fixed-width integers in StartEnv and KernelEnv.

TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu