Use device headers in TARGET_SPECIFIC_HEADER_PATH