[seL4] Re: CAmkES ARM VM: SATA Passthrough