Repositories for kata-micro-kernel

This package is inherited from the project Eulaceura:Mainline and changing repository flags has no effect.