* kernel/arch/386/dat_arch.h: note