0806bec Change svirt_prot_exec_t to svirt_nokvm_t, and fix policy so the only difference between svirt_t and svirt_nokvm_t is execmem,execstack

Authored and Committed by dwalsh 11 years ago