[Summit-pc] seL4 summit PC: time slot for reviews meeting