realm-boot messages if i'm the only server up in my realm
fix krb_get_int problem
