drivers/char/hpet.c: allow user controlled mmap for user processes