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