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