s4:samldb LDB module - use "uint32_t" for available krbtgt number