Remove xenctrlext, xenstoreext