Re: [PATCH v2 0/9] x86: Fixes for distro booting