Switched from using GDT hack to actual paging