Some kernel incompatibility had to be worked around in order to build
sucessfully for both the wp85 and wp76.