diff --git a/lk2nd/device/menu/menu.c b/lk2nd/device/menu/menu.c
index 10ac04a6b..328bcba75 100644
--- a/lk2nd/device/menu/menu.c
+++ b/lk2nd/device/menu/menu.c
@@ -139,6 +139,7 @@ void display_fastboot_menu(void)
 	struct fbcon_config *fb = fbcon_display();
 	int y, y_menu, old_scale, incr;
 	unsigned int sel = 0, i;
+	bool armv8 = is_scm_armv8_support();
 
 	if (!fb)
 		return;
@@ -202,6 +203,9 @@ void display_fastboot_menu(void)
 		fbcon_printf_ln(SILVER, y, incr, false, " Bootloader:  %s", lk2nd_dev.bootloader);
 #endif
 
+	fbcon_printf_ln(armv8 ? GREEN : YELLOW, y, incr, false," ARM64:  %s",
+			armv8 ? "available" : "unavailable");
+
 	/*
 	 * Loop to render the menu elements
 	 */