Add filereader_SYS_BUFFER_SIZE config value

The configuration value is stored in the file
"C-kern/resource/config/modulevalues" and can be changed.

This static configuration will be replaced by a dynamic one
after implementing I/O buffering (and async I/O?).