armv8: Add missing GIC Mackerel devices to Hakefile
imx8x and RPi were missing the GICv3 Mackerel devices
in kernel Hakefile
@@ -663,6 +663,8 @@ let
"armv8",
"armv8/armv8_cache_ctrl",
"arm_icp_pit",
+ "gic_v3_dist",
+ "gic_v3_redist",
"rpi3_miniuart"
],
addLibraries = [
@@ -764,6 +766,8 @@ let
"armv8",
"armv8/armv8_cache_ctrl",
"arm_icp_pit",
+ "gic_v3_dist",
+ "gic_v3_redist",
"lpuart"
],
addLibraries = [
