Remove duplicate initialization (thanks to clang/scan-build)
Remove duplicate initialization (thanks to clang/scan-build)

ananos/open-mx,ananos/xen2mx,ananos/open-mx,ananos/open-mx,ananos/xen2mx,ananos/xen2mx,ananos/xen2mx