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