[PATCH v2 07/41] bootstd: Correct display of kernel version