Re: [PATCH 1/1] firmware: smci: possible NULL dereference