kernel/util: Bitmap: Silence warning
x86/paging: Remove unusued local variable
x86/paging: Use CPUSet instead of cpu_mask_t
kernel: Fix gcc2 build