TSC frequency is guessed

Seoul currently guesses TSC frequency as 1GHz. This is obviously wrong. See Motherboard constructor in [unix/main.cc](https://github.com/TUD-OS/seoul/blob/master/unix/main.cc).

Affects https://github.com/TUD-OS/seoul/issues/16
