Add SYSTEM to third-party include_directories() calls
Improve kernel::set_arg() method