The last commit for a while. Now have a true multicore benchmark, but the results are still inconsistent. Have updated the booter and llbooter to properly support multicore (ran into an issue with the cos_sched_notification areas (now plural)).