After resetting my RPi, I had to reset also the TinkerBoard to boot in the OS. Had only red LED light and it was not coming up. So before re-formatting the SDCard try to reset your board.
It is also done via shortcutting the pins, which are not marked on ASUS. See the picture, the RED mark is power/reset button. In case you power off your boaard, just shortcut them again to start it up. Board has to be connected to power.
