# get this info with "make get-update-info"
V_KERNEL="Sun Oct 29 15:18:08 CET 2017"