* kernel/core/386/dat_core.h: comment