configs: use Linux 3.13.6 for demo-grsec.

Set Linux version to 3.13.6 in demo-grsec configuration to match the
grsecurity patch.