Any thoughts or updates on this issue? This code (which claims to be the Windows 10 SDK) wraps the problematic structure with #ifdef _MSC_EXTENSIONS: https://github.com/tpn/winsdk-10/blob/master/Include/10.0.14393.0/km/ntifs.h
VOTE: scons
ddk/ntifs.h error: flexible array member in union
redefinition of ‘_InterlockedAdd64’ in wdm.h