diff --git a/src/system/boot/platform/efi/start.cpp b/src/system/boot/platform/efi/start.cpp
old mode 100644
new mode 100755
index a8cc4bc718..dcac306874
--- a/src/system/boot/platform/efi/start.cpp
+++ b/src/system/boot/platform/efi/start.cpp
@@ -147,10 +147,6 @@ platform_start_kernel(void)
 	if (gKernelArgs.kernel_image->elf_class != ELFCLASS64)
 		panic("32-bit kernels not supported with EFI");
 
-	cpu_init();
-	acpi_init();
-	hpet_init();
-	smp_init();
 	smp_init_other_cpus();
 
 	preloaded_elf64_image *image = static_cast<preloaded_elf64_image *>(
@@ -292,6 +288,11 @@ efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *systemTable)
 	gKernelArgs.arch_args.hpet_phys = 0;
 	gKernelArgs.arch_args.hpet = NULL;
 
+	cpu_init();
+	acpi_init();
+	hpet_init();
+	smp_init();
+
 	main(&args);
 
 	return EFI_SUCCESS;