TX2 kernel crash when power up

Hi, @JerryChang
It’s hard to me to find out what casued kernel crash.
nvdisplay@15210000 {
avdd_hdmi-supply = <&spmic_ldo7>;
avdd_hdmi_pll-supply = <&spmic_sd2>;
vdd_hdmi_5v0-supply = <&vdd_hdmi>;
};
could you please tell me what does this three power supply mean: spmic_ldo7 spmic_sd2 vdd_hdmi. and do these three power sources should be given by the carrier board?

thanks.