1) Fix another instance of bug #2980
2) Disable __ARRAY_MACHINE_CODED__ in cpudefs.h as workaround for bug #2976
3) Fix for bug #2985. Not a GCCE bug but breaks my builds on Linux
<?xml version="1.0" encoding="UTF-8"?>
<relnotes name="User HAL">
<purpose>
User side access to hardware via hardware abstraction.
</purpose>
</relnotes>