Index: boot/arch/arm64/Makefile.inc
===================================================================
--- boot/arch/arm64/Makefile.inc	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ boot/arch/arm64/Makefile.inc	(revision 8df0306a5f2bfb063203574aea6ec1bb4f8e124c)
@@ -54,4 +54,9 @@
 EXTRA_LDFLAGS = -Wl,-shared
 
+ifeq ($(MACHINE), virt)
+	RD_DRVS_ESSENTIAL += \
+		intctl/gicv2
+endif
+
 SOURCES = \
 	arch/$(BARCH)/src/asm.S \