fix kernel builds on 32bit linux