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