Some SMP fixes (enable timers and FPU on APs) and minor changes#277

wipawel merged 3 commits into

KernelTestFramework:mainlineKernelTestFramework/ktf:mainlinefrom

wipawel:smp_fixeswipawel/ktf:smp_fixesCopy head branch name to clipboard