When getting page prot bits in Linux targets, get arch-indep version.

When loading vm_area_structs, we used to return the arch-specific
vm_page_prot field.  That field is arch-specific, meaning it is ready to
be loaded into a PTE.  The non-arch-specific field is vm_flags.  So, we
really want to return the non-arch-specific since we're at the semantic
layer.  If this causes problems, we can add an arch-specific field, too.
6 jobs for master in 29084 minutes and 42 seconds
Status Job ID Name Coverage
  Test
passed testing #701

00:04:33

failed testing #644

00:00:45

failed testing #645

00:00:00

passed testing #646

00:04:31

failed testing #699

00:04:25

failed testing #700

00:02:58