* kernel/arch/386/realmode.c: misc