whpx: rename whp-dispatch to whpx-internal.h