ARM: trusted_foundations: Provide information about whether firmware is registered