Index: boot/arch/arm64/Makefile.inc
===================================================================
--- boot/arch/arm64/Makefile.inc	(revision 7348c4b9a0c6014afb6f7a853e926f96e887ff26)
+++ boot/arch/arm64/Makefile.inc	(revision 69b6dd1fdad61cf973f096c5e880336d3d2a1691)
@@ -57,5 +57,6 @@
 	RD_DRVS_ESSENTIAL += \
 		char/pl011 \
-		intctl/gicv2
+		intctl/gicv2 \
+		platform/arm64virt
 endif