[kbuild-all] [ogabbay:habanalabs-next 19/62] drivers/misc/habanalabs/gaudi/gaudi.c:7688:6: sparse: sparse: symbol 'gaudi_ctx_fini' was not declared. Should it be