Updated xbian-package-kernel to allow version switching inside xbian-config