kernel: smp_cpu_rendezvous(): Use counter instead of bitmap
kernel: Remove RunQueueLink.h
x86/paging: Use ROUNUP() to compute the number of initial slots
kernel: Use CPUSet in ICI code instead of cpu_mask_t