x86: Add support for starting from SPL/TPL