Exynos5: include the correct internal libc headers
Make assembly more readable.

By telling the assembler which set of extensions are available, one can use smc etc.,
instrucitons in-line, rather than using magic bit-patterns.
elfloader: Disable Trustzone; disable IRQ

To stay asleep, interrupts need to be off before entering the sleep state -- otherwise any IRQ will restart the processor.
Also, turn off trustzone after starting, so PMU is accessible from SVC mode.
Merge pull request #2 from pchubb/master

Odroid XU3
Strip metadata from the ELF loader's payload if possible.

This commit runs cpio-strip, a tool from the common-tool repo, if it is
available. The purpose of this is to strip information from the CPIO payload
that identifies the host system (i-node numbers, modification dates, ...). This
enables repeatable, binary-identical builds.

This commit corresponds to 86fbbf29c7a872334c1303d8778d08ae489b6459 and friends
from common-tool.

JIRA: CAMKES-280