finally a working scheduler
some refactorings
adding some macros to make PIT8254 configuration more readable