cga_getpos
cga_putc
cga_setpos
com_probe
com_putc
This subroutine move kernel to 0x100000 and setup temporary pagging then jump to kernel code.
common32
dev_init
Read sectors from disk to buffer
disk_read_sectors
efi_log
efi_log_init
efi_log_time
efimain