[GCCE] We need a way for the HAL config extension to parameterise the HAL config file (.hcf) that will be used, depending upon
the toolchain we are building with. E.g. if we are building BeagleBoard with RVCT we can configure hardware floating point
because we have ARM's vfp math libraries; if we are building it with GCC, we lack this library support.
<!ELEMENT featureuids (features,default)>
<!ELEMENT features (feature+)>
<!ELEMENT feature EMPTY>
<!ATTLIST feature
name CDATA #REQUIRED
uid CDATA #REQUIRED
installable (true|false) #IMPLIED>
<!ELEMENT default (range+)>
<!ELEMENT range EMPTY>
<!ATTLIST range
min CDATA #REQUIRED
max CDATA #REQUIRED
support (include|exclude) #REQUIRED>