sal: work around spurious Apple clang warning about pointer cast to int

Change-Id: I4e4281ac8767c9a6b6b85bc759f28bcf074d8e39