* kernel/conf/386/mkfile: misc