x86: Support booting with TPL