[seL4 Announce] ARM Multicore Support released