Fix cast from pointer to integer of different size
am: 8caa27c260

Change-Id: I4291fd5285f790a6f3891629b257064c238fd770