# CONFIG_AMIGAONE is not set