this embeds a slightly modified file taken from arm-trusted-firmware. Signed-off-by: Sven Peter <sven@svenpeter.dev>