# get this info with "make get-update-info"
V_KERNEL="Fri Jul 28 14:47:36 CEST 2017"