ec.tasklist is used to define make macros thus can influence everything including board.h but make doesn't know the dependency. Thus, incremental build results in a failure (if we're lucky) or a wrong output.

There might be similar issues with other files (e.g. gpio.inc).