# CONFIG_MPENTIUMIII is not set
