Indeed, he did effectively cut out adjacent kings only in the illegality tests.
Though I doubt if he could have generated
8726713169886222032347729969256422370854716254 positions.
In his earlier calculations of an upper bound adjacent kings were specifically excluded.
where did you find that?
In 960Chess, the number refers to all different starting position someone told me?