linuxrc: unbundle is_livecd() from setup_real_root
linuxrc: move devmgr termination code to devmgr_terminate
linuxrc: improve code style at the end of the file
linuxrc: default REAL_INIT to /sbin/init