Re: [PATCH 20/21] linux: Update x86_64 rootfile