GDT setup: Invalid user descriptors

In the GDT page (2.4), `kernel_code` and `kernel_data` are shifted by 32 bits before being added into `gdt`. User descriptors also use `kernel_code` and `kernel_data` with `| (3 << 13)` to set the DPL. However they aren't shifted, so flags remain at lower half.