s4-kdc: Fix Coverity ID #1373385 (OVERRUN)