kernel-post-upgrade: update for Gummiboot 13