[PATCH 4.14 016/116] selinux: fix Makefile dependencies of flask.h