This is a very late issue but normally it should say XeaBIOS but it said SeaBIOS like normal.
I'm using linux and this guide is known to be very fuzzy for linux but i have no other choice.
void main() { char* video_memory = (char*) 0xb8000 *video_memory = 'X' }
^ this is the contents of my kernel.c file..