set xenserver-core to depend on my custom kernel 2.6.32