diff --git a/headers/private/kernel/boot/platform.h b/headers/private/kernel/boot/platform.h
index 375d0aac76..e4dc38074f 100644
--- a/headers/private/kernel/boot/platform.h
+++ b/headers/private/kernel/boot/platform.h
@@ -43,7 +43,6 @@ extern void platform_switch_to_logo(void);
 extern void platform_switch_to_text_mode(void);
 extern void platform_start_kernel(void);
 extern void platform_exit(void);
-extern void platform_load_ucode(BootVolume& volume);
 
 #ifdef __cplusplus
 }
@@ -63,6 +62,7 @@ extern status_t platform_get_boot_partitions(struct stage2_args *args, Node *boo
 					NodeList *partitions, NodeList *bootPartitions);
 extern status_t platform_register_boot_device(Node *device);
 extern void platform_cleanup_devices();
+extern void platform_load_ucode(BootVolume& volume);
 
 /* menu functions */
 
diff --git a/src/system/boot/platform/amiga_m68k/cpu.cpp b/src/system/boot/platform/amiga_m68k/cpu.cpp
index cb5ecea08f..f3a3b073bb 100644
--- a/src/system/boot/platform/amiga_m68k/cpu.cpp
+++ b/src/system/boot/platform/amiga_m68k/cpu.cpp
@@ -106,7 +106,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 }
diff --git a/src/system/boot/platform/atari_m68k/cpu.cpp b/src/system/boot/platform/atari_m68k/cpu.cpp
index 2ea87f560d..4a962af366 100644
--- a/src/system/boot/platform/atari_m68k/cpu.cpp
+++ b/src/system/boot/platform/atari_m68k/cpu.cpp
@@ -131,7 +131,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 }
diff --git a/src/system/boot/platform/bios_ia32/cpu.cpp b/src/system/boot/platform/bios_ia32/cpu.cpp
index ae24e22cc4..8185a62023 100644
--- a/src/system/boot/platform/bios_ia32/cpu.cpp
+++ b/src/system/boot/platform/bios_ia32/cpu.cpp
@@ -72,7 +72,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 	arch_ucode_load(volume);
diff --git a/src/system/boot/platform/efi/cpu.cpp b/src/system/boot/platform/efi/cpu.cpp
index bc8779df8e..b5c37e1e03 100644
--- a/src/system/boot/platform/efi/cpu.cpp
+++ b/src/system/boot/platform/efi/cpu.cpp
@@ -48,7 +48,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 	arch_ucode_load(volume);
diff --git a/src/system/boot/platform/next_m68k/cpu.cpp b/src/system/boot/platform/next_m68k/cpu.cpp
index 3bc38bd234..7413d4b9eb 100644
--- a/src/system/boot/platform/next_m68k/cpu.cpp
+++ b/src/system/boot/platform/next_m68k/cpu.cpp
@@ -87,7 +87,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 }
diff --git a/src/system/boot/platform/openfirmware/cpu.cpp b/src/system/boot/platform/openfirmware/cpu.cpp
index 634303a214..b401adc960 100644
--- a/src/system/boot/platform/openfirmware/cpu.cpp
+++ b/src/system/boot/platform/openfirmware/cpu.cpp
@@ -7,7 +7,7 @@
 #include <boot/platform.h>
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 }
diff --git a/src/system/boot/platform/riscv/cpu.cpp b/src/system/boot/platform/riscv/cpu.cpp
index 2bcd05d313..7d8dc18cac 100644
--- a/src/system/boot/platform/riscv/cpu.cpp
+++ b/src/system/boot/platform/riscv/cpu.cpp
@@ -42,7 +42,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 	// we have no ucode
diff --git a/src/system/boot/platform/u-boot/cpu.cpp b/src/system/boot/platform/u-boot/cpu.cpp
index 0d00874146..fe46d5e5d9 100644
--- a/src/system/boot/platform/u-boot/cpu.cpp
+++ b/src/system/boot/platform/u-boot/cpu.cpp
@@ -37,7 +37,7 @@ cpu_init()
 }
 
 
-extern "C" void
+void
 platform_load_ucode(BootVolume& volume)
 {
 }