diff --git a/devices/pine64 b/devices/pine64
index 5cc8b12a1e41deb015d78be6368114f9b04b660d..92b69ad84465ea6407ede0fbfde62570ba4d0937 100644
--- a/devices/pine64
+++ b/devices/pine64
@@ -1,3 +1,4 @@
 linux-aarch64
 uboot-pine64
+uboot-tools
 linux-firmware
diff --git a/devices/rpi3 b/devices/rpi3
index 9f0ee855c183cb751be65cc0ca78fedebb8f7e3b..f65402ab26514a180f5e5391c9781214a09ec025 100644
--- a/devices/rpi3
+++ b/devices/rpi3
@@ -3,5 +3,6 @@ uboot-raspberrypi
 raspberrypi-bootloader
 raspberrypi-firmware
 firmware-raspberrypi
+uboot-tools
 wpa_supplicant
 xf86-video-fbturbo-git