xenserver: add dependency on 3.4 or greater kernel