(maybe mac68k has the same problem) XXX: maybe we could use a possible highest device ipl (5 on hp300?) for IPL_VM.