i386: replace hard-coded constant with appropriate macro from kernel.h