kernel/sysctl: Add handling of uint32_t.