diff --git a/libsel4vmmplatsupport/src/arch/arm/guest_image.c b/libsel4vmmplatsupport/src/arch/arm/guest_image.c
index eff0d157f..2474dcc00 100644
--- a/libsel4vmmplatsupport/src/arch/arm/guest_image.c
+++ b/libsel4vmmplatsupport/src/arch/arm/guest_image.c
@@ -226,6 +226,7 @@ static uintptr_t load_guest_module_image(vm_t *vm, const char *image_name, uintp
     switch (ret_file_type) {
     case IMG_DTB:
     case IMG_INITRD_GZ:
+    case IMG_BIN:
         load_addr = load_base_addr;
         break;
     default: