kernel/sysctl.c: switch to bitmap_zalloc()