I am using the Jetson Nano 4GB Rev2 model. The power LED in front of where I plugged the power adapter is constantly glowing red. When I researched on the internet, I saw that for the 2GB model, the green light is working correctly, the red light is a power problem and the yellow light is a sleep mode. Do the same LED indicators apply to the 4GB model? Or is the constantly burning red light normal?