added compile option USE_VBE_PMI for framebuffer handled by VESA Bios Extension

graphics won't work yet, since the framebuffer driver file
fb_vesa.c is empty
VBE Protected Mode Interface will be used
added header for VESA Bios Extension
define dependent size of the GDT