sel4: add seL4_X86_EPT_VMAttributes enum#317

Ivan-Velickovic wants to merge 1 commit intoseL4:mainseL4/rust-sel4:mainfrom

au-ts:x86_ept_vmattributesau-ts/rust-sel4:x86_ept_vmattributesCopy head branch name to clipboard