[Summit-pc] seL4 summit - another keynote?