cpu/i386/interrupt.o
cpu/i386/paging_helpers.o
cpu/i386/seg_upd.o
kernel/boot.o