[Concept] [PATCH 08/12] x86: Add 32-to-64-bit startup code