# get this info with "make get-update-info"
V_KERNEL="Sun Nov 5 18:47:49 CET 2017"