Fix FNCONST in bit functions in <global.h>
Use bit-functions in paging.c and process.c