GGIdl_fbdev_mach64
