2017 08 fungsi kernel linux