[seL4] 2 weeks left to get the early-bird registration at the seL4 summit