headers_check fix: x86, setup.h