Created attachment 798413 [details] test package used in previous comment A dummy package simply requiring "xen-kmp-default".