[kbuild-all] Re: [PATCH v4 5/7] firmware: smccc: Refactor SMCCC specific bits into separate file