libbarrelfish: arm pmap: fix flag passing in modify_flags