- update kernel_options from upstream
- update RPi3 linux config based on kernel_options
(tools/check_kernel_config)
- update linux package - remove manual setting of config options where
not necessary (these options are already set as needed in the default
kernel configuration file)