00-rootdev.sh: handle the case where init=/linuxrc and real_init= is not set