Fix XML mangling (see comments on raspberrypi/noobs@75ef2713a9f2467d8b71cd22822793da8163317f)