bootstrap-dev.sh: Add kernel.shmmax configuration