tried to change tty1 to hvc0 and getty to serial-getty -> fail. It leads me to think that /dev/hvc0 is not there.