# CONFIG_INTEL_VBTN is not set
