[PATCH 6.1 020/417] platform/x86/intel/vsec: Use mutex for ida_alloc() and ida_free()