[Arm-dev] ARM Server Standards [WAS: Re: ACPI]