[Concept] [PATCH 06/12] x86: Build 16-bit startup objects as 32-bit for x86_64