[PATCH 4.19 023/191] selinux: fix Makefile dependencies of flask.h