Fixed documentation and scripts for the current situation, where bootlocal.sh and profile live in /opt