x86: Add a way to jump from TPL to SPL