Initial K20 fixes

Added the required gpio-irq enable/disable + fixed bus_frequency
Modified timer code

Timer/Wait timer