[seL4] Re: new RFC: seL4 Device Driver Framework