--- /dev/null
+diff --git a/tools/firmware/vgabios/vbe.c b/tools/firmware/vgabios/vbe.c
+index a0f3288..26582d0 100644
+--- a/tools/firmware/vgabios/vbe.c
++++ b/tools/firmware/vgabios/vbe.c
+@@ -847,8 +847,9 @@ Bit16u *AX;Bit16u ES;Bit16u DI;
+ do
+ {
+ if ((cur_info->info.XResolution <= dispi_get_max_xres()) &&
+- (cur_info->info.BitsPerPixel <= dispi_get_max_bpp()) &&
+- (cur_info->info.XResolution * cur_info->info.XResolution * cur_info->info.BitsPerPixel <= vbe_info_block.TotalMemory << 19 )) {
++ (cur_info->info.BitsPerPixel <= dispi_get_max_bpp())) {
++ /* FIXME remove memory check because it's done in 16bits
++ ** and the resolution is unusable */
+ #ifdef DEBUG
+ printf("VBE found mode %x => %x\n", cur_info->mode,cur_mode);
+ #endif