13.12: ARM support changes

ARM support have provided some changes via spreadsheet from Andrew Pickard.

Signed-off-by: Ryan Harkin <ryan.harkin@linaro.org>