You can set up Debian specific configuration items like if yout hardware
clock is using GMT here.
