diff --git a/src/kernel/boot/platform/bios_ia32/devices.cpp b/src/kernel/boot/platform/bios_ia32/devices.cpp
index 2eff635b1c..92353cc523 100644
--- a/src/kernel/boot/platform/bios_ia32/devices.cpp
+++ b/src/kernel/boot/platform/bios_ia32/devices.cpp
@@ -15,7 +15,7 @@ platform_get_boot_device(struct stage2_args *args, Node **_device)
 
 
 status_t
-platform_get_boot_partition(struct stage2_args *args, struct list *list,
+platform_get_boot_partition(struct stage2_args *args, NodeList *list,
 	boot::Partition **_partition)
 {
 	return B_ERROR;
@@ -23,7 +23,7 @@ platform_get_boot_partition(struct stage2_args *args, struct list *list,
 
 
 status_t
-platform_add_block_devices(stage2_args *args, list *devicesList)
+platform_add_block_devices(stage2_args *args, NodeList *devicesList)
 {
 	return B_ERROR;
 }
diff --git a/src/kernel/boot/platform/bios_ia32/start.c b/src/kernel/boot/platform/bios_ia32/start.c
index 7734ec3168..f7a21cebcd 100644
--- a/src/kernel/boot/platform/bios_ia32/start.c
+++ b/src/kernel/boot/platform/bios_ia32/start.c
@@ -41,8 +41,22 @@ platform_user_menu_requested(void)
 }
 
 
+status_t
+platform_allocate_region(void **_address, size_t size, uint8 protection)
+{
+	return B_ERROR;
+}
+
+
+status_t
+platform_free_region(void *address, size_t size)
+{
+	return B_ERROR;
+}
+
+
 void
-platform_release_heap(void *base)
+platform_release_heap(struct stage2_args *args, void *base)
 {
 }