diff --git a/arch/x86/boot/video-vga.c b/arch/x86/boot/video-vga.c
index 03dd57043326..4816cb9cf996 100644
--- a/arch/x86/boot/video-vga.c
+++ b/arch/x86/boot/video-vga.c
@@ -188,7 +188,7 @@ static void vga_set_80x60(void)
 	vga_set_vertical_end(60*8);
 }
 
-static int __attribute__((optimize("no-jump-tables"))) vga_set_mode(struct mode_info *mode)
+static int vga_set_mode(struct mode_info *mode)
 {
 	/* Set the basic mode */
 	vga_set_basic_mode();