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);