Fixed pgtbl_mapping_mod, which is used to update flags of an existing
mapping.

Now _all_ functions in pgtbl.h have been tested. We don't rely on
Linux pgtbl functions any more!