kernel/timer.c: Optimize apply_slack()
arch/arm/include/asm/cacheflush.h: Don't round address range up to nearest page
Makefile: These -O3 optimizations probably won't work
UKSM