diff --git a/src/boot/efi/util.c b/src/boot/efi/util.c
index 403b78c033..0133919706 100644
--- a/src/boot/efi/util.c
+++ b/src/boot/efi/util.c
@@ -721,3 +721,9 @@ void *find_configuration_table(const EFI_GUID *guid) {
 
         return NULL;
 }
+
+/* libgcc's __aeabi_ldiv0 intrinsic will call raise() on division by zero, so we
+ * need to provide one ourselves for now. */
+_noreturn_ int raise(int sig) {
+        assert_not_reached();
+}