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