The manual says, that the red LED is a boot problem of the OS. So a first try might be to dump the OS-image to the micro-SD card.
Where to get the image is described here: ETC Doesn't Boot Properly
If you have a linux computer available you might mount the SD card there and do a chroot then to see what is wrong.