2013-05-19: Added mount kernle filesystems in SCRIPTS/installation.sh