Re: [PATCH 1/1] arch: x86: lib: Add support of legacy 64-bit entry point at 0x200