kernel: fix x86_64 rootfile