Add missing irq.h, spinlock.h and kernel.h headers Signed-off-by: Pawel Czarnecki <pczarnecki@antmicro.com>
atcpit100 counter driver support 4 32-bit PIT channel, using channel 3 as the default counter. Signed-off-by: Jimmy Zheng <jimmyzhe@andestech.com>