LinuxKPI: Fix building on 32bit archs
Reported by: Jenkins Fixes: e5cf9deb61fd ("LinuxKPI: Add bitmap_to_arr32() to <linux/bitmap.h>")