Mention branches and keyring.
[releases.git] / firmware / arm_sdei.c