dri/drivers: fix 32bit builds on 64bit systems