This patch fixes two problems:
1. the error "icssvr_daemon_from_pool: invalid IPL 4......"
2. "kernel memory fault" panic in simple_lock from fuser

The kmf from fuser has the following stack trace:

>  0 boot                 src/kernel/arch/alpha/machdep.c : 2672
   1 panic                src/kernel/bsd/subr_prf.c : 1401
   2 trap                 src/kernel/arch/alpha/trap.c : 2273
   3 _XentMM              src/kernel/arch/alpha/locore.s : 2143
   4 simple_lock          src/kernel/arch/alpha/lockprim.s : 709
   5 fuser                src/kernel/svr4/kern_fuser.c : 561
   6 syscall              src/kernel/arch/alpha/syscall_trap.c : 725
   7 _Xsyscall            src/kernel/arch/alpha/locore.s : 1814

