As multiple OS runs on different CPU Cores which share single GIC, so distributor
can only be configured by the first started OS, bypass distrubutor configuration
in case of it has been done in order to avoid to crash the OSes has been started.

Signed-off-by: Jiafei Pan <Jiafei.Pan@nxp.com>