Modify the function names for kernel timer API
Minor improvements in the OS loader
Modify intenal macros and add minor improvements in the kernel