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