config syntax in hw_gpio_drv?

[Steven Harp]

In Genode 17.08 (master) on rpi platform with hw (or foc) base,
run/lxip_udp_echo seems to generate config XML that doesn't quite
pass the syntax check:

* * *
genode build completed
var/run/lxip_udp_echo/genode/config:31: parser error : AttValue: " or ' expected
		<resource name=\"RAM\" quantum=\"4M\"/>
		               ^
var/run/lxip_udp_echo/genode/config:31: parser error : attributes construct error
		<resource name=\"RAM\" quantum=\"4M\"/>
		               ^
var/run/lxip_udp_echo/genode/config:31: parser error : Couldn't find end of Start Tag resource line 31
		<resource name=\"RAM\" quantum=\"4M\"/>
		               ^
var/run/lxip_udp_echo/genode/config:32: parser error : AttValue: " or ' expected
		<provides><service name=\"Gpio\"/></provides>
		                        ^
var/run/lxip_udp_echo/genode/config:32: parser error : attributes construct error
		<provides><service name=\"Gpio\"/></provides>
		                        ^
var/run/lxip_udp_echo/genode/config:32: parser error : Couldn't find end of Start Tag service line 32
		<provides><service name=\"Gpio\"/></provides>
		                        ^
Error: Invalid XML syntax in var/run/lxip_udp_echo/genode/config
Makefile:309: recipe for target 'run/lxip_udp_echo' failed
* * *

The extraneous reversed virgules in the attribute values appear
only for hw_gpio_drv:

	<start name="hw_gpio_drv">
		<resource name=\"RAM\" quantum=\"4M\"/>
		<provides><service name=\"Gpio\"/></provides>
		<config/>
	</start>

1. Suggestions?   
2. Is it reasonable to suppose this should run okay on RPI-version (v1,2,3?) hardware?

// Steve Harp