Correcting documentation, switching ticks format from EDLH to DEHL.

A fix for issue https://github.com/KnightOS/kernel/issues/97.