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