Re: [arch-general] seq-dummy missing in kernel