core90: supply new kernel version to user update script