sel4bench Recent Updates

seL4 11.0.x-compatible