x86[_64]: Use uint32 for maximum CPUID leaf number
x86[_64]: Fix some style issues
kernel/util: Add bit hack utilities