[PATCH v2 0/4] Resolve issues with booting distros on x86