Specify integer size and some minor refactoring and cleanup

This fixes #7 and does some cleanup most notably of kernel.c. Furthermore I have replace #defines by enums for driver IDs, clock source and divider which is syntactically nicer and a little more safe (but it's still C ...).