Re: [PATCH v6 0/7] Resolve issues with booting distros on x86