void kernel_entry() {
	asm("cli");
	asm("hlt");
}