picassowifi: Rename kernel