* entry point del kernel de 64 bits en kmain64.c
* libreria de pantalla mas completa