I think seL4 didn't yet have multicore support when zircon was forked from LK, could be wrong.