Rename kernel bbappend to the proper version for envy