NULLについては納得しましたが、まだ疑問が残っています。
同じポインタ型であっても、保証されているのは、
「一方の型がvoid型へのポインタであり，もう一方の型が文字型へのポインタである場合」
だけとなっています。この制約の意図が不明です。

例えば、可変長引数をとる関数に (void *)NULL を渡し、呼び出された側で

　FILE *fp = va_arg(ap, FILE *);

として受け取るのも不適合に思えます。

この場合でも、(例えば)アライメントの問題があり、互換が保証できるのはvoid型へのポインタと文字型へのポインタだけ、といった事なのでしょうか？