# CONFIG_ALTERA_STAPL is not set