xenserver: Use .../extra not .../kernel/extra for kernel modules.