[PATCH] page-flags.h: Fix a missing header include of static_keys.h