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