# CONFIG_OF_OVERLAY is not set