Use SlimRoms kernel for manta