Use the correct attribute. Duh.
Add kdc_tcp_ports into attributes/kdc.rb to match shipped default