Index: usr.sbin/bhyve/bhyverun.c
===================================================================
--- usr.sbin/bhyve/bhyverun.c
+++ usr.sbin/bhyve/bhyverun.c
@@ -1373,7 +1373,8 @@
 	}
 
 	error = smbios_build(ctx);
-	assert(error == 0);
+	if (error)
+		exit(4);
 
 	if (acpi) {
 		error = acpi_build(ctx, guest_ncpus);
Index: usr.sbin/bhyve/smbiostbl.c
===================================================================
--- usr.sbin/bhyve/smbiostbl.c
+++ usr.sbin/bhyve/smbiostbl.c
@@ -598,8 +598,10 @@
 		uint32_t	status;
 
 		uuid_from_string(guest_uuid_str, &uuid, &status);
-		if (status != uuid_s_ok)
+		if (status != uuid_s_ok) {
+			fprintf(stderr, "Invalid UUID provided\n");
 			return (-1);
+		}
 
 		uuid_enc_le(&type1->uuid, &uuid);
 	} else {