From 3d9c60be7cd7643134827f5e9a0945fe74d25789 Mon Sep 17 00:00:00 2001
From: Francisco Javier Trujillo Mata <fjtrujy@gmail.com>
Date: Tue, 7 Feb 2023 22:11:42 +0100
Subject: [PATCH] Avoid loading extra drivers (#14959)

---
 frontend/drivers/platform_ps2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/drivers/platform_ps2.c b/frontend/drivers/platform_ps2.c
index fed56a68cb..4a6e462982 100644
--- a/frontend/drivers/platform_ps2.c
+++ b/frontend/drivers/platform_ps2.c
@@ -304,7 +304,7 @@ static void frontend_ps2_get_env(int *argc, char *argv[],
 
 static void common_init_drivers(bool extra_drivers) 
 {
-   init_drivers(true);
+   init_drivers(extra_drivers);
 
    poweroffSetCallback(&poweroffHandler, NULL);