Bug fixes

We need to reload the segment registers after loading GDT - this was
causing a GPF on my real hardware.
Also fixed assert() not working at all