Fix kmalloc_large to reduce unwise memory usage; require video data to be encoded in VGA12 4 plane data in order to speed up badapple_sched in badapple.c, so that frame-skip may be reduced.