Chef: Fixes for 32-bit builds.
Chef: Fix build error when symbex is not enabled.