The manifest repository no longer contains distinct default.xml and
develop.xml manifest files. That role has been delegated to distinct git
branches.

Switch to the default manifest so that the deprecated compatibility
module which has the same effect, can be removed.

Signed-off-by: Zygmunt Krynicki <zygmunt.krynicki@huawei.com>