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