rardefs: Fix 64bit build

Change-Id: Ia73fe6efad50abd782ea34f00c378272a6b5e5e6