* kernel/arch/386/dat_arch.h: put back comments