l4linux: platform_drv may provide platform session

This is especially true for i.MX53 but is not needed on Arndale
currently.

@skalk the test will still fail each night as we do not have a nic_drv
for imx53...

repos/ports-foc/run/l4linux.run

@@ -109,6 +109,7 @@ append_if $use_platform_drv config {
 		<resource name="RAM" quantum="1M"/>
 		<provides>
 			<service name="Regulator"/>
+			<service name="Platform"/>
 		</provides>
 	</start>}