Add GDT initialization code
Use supported format strings
Add IDT initialization code