ARM: EXYNOS: TrustZone set up for Exynos4412
ODROID-X: board: Add secured firmware interface

This patch adds the interface of secured firmware call to run when TrustZone
is enabled.
(DO NOT SUBMIT) Fake fix to boot with signed u-boot

This patch replaced the machine-id of ODROID-X board since singed u-boot passes
the SMDK4X12's one.
ODROID-X: config: kernel config based on v3.7.5