[seL4] Re: Jetson AGX Xavier board porting