This way, next time we want to update the kernel we have just to change
the version without touching too much the code
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>