* kernel/core/386/dat.h: more kern_addrxxx