mako: Correct kernel path for CM tree