brcm2708: switch to kernel 4.14