included sample BBB kernel configuration file