Re: [PATCH v2 2/3] X86: Add support for distro boot