boot_loader: load intel microcode update data file

Previous version of the patch was broken by the EFI refactoring.

Change-Id: I6dd125100b22b2461c531bfd8f81b3dd28e2b751
Reviewed-on: https://review.haiku-os.org/c/haiku/+/2409
Reviewed-by: Jérôme Duval <[email protected]>

headers/private/kernel/boot/arch/x86/arch_cpu.h

@@ -21,4 +21,9 @@ void calculate_cpu_conversion_factor(uint8 channel);
 }
 #endif
 
+#include <boot/vfs.h>
+
+void ucode_load(BootVolume& volume);
+
+
 #endif	/* BOOT_ARCH_CPU_H */

headers/private/kernel/boot/platform.h

@@ -43,6 +43,7 @@ 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
 }