hg: dio/dev: 8058577: dio.properties-raspberrypi should only include currently supported devices

[jen.dority at oracle.com]

Changeset: 1b480a94749a
Author:    jld
Date:      2014-09-16 14:26 -0400
URL:       http://hg.openjdk.java.net/dio/dev/rev/1b480a94749a

8058577: dio.properties-raspberrypi should only include currently supported devices
Reviewed-by: raimandi

! config/dio.properties-raspberrypi