[Board] (seL4 Foundation) Revised Agenda