Removes issue where DTB and KDBG were converted to int when read from cnf_opt