v4.4.10

Kernel 4.4.10 for our next RPi SD card image v0.8.0 Barbossa.

(Created this release to try to deploy to packagecloud through CircleCI for the first time.)

Kernel 3.18.11 / SD image 0.4 Elizabeth

• Bump Kernel to 3.18.11
• Add kernel support for dynamic KPROBE tracing
• SD image Version 0.4 Elizabeth

Kernel 4.1.8 / SD image 0.5 Jack

• Enable kernel config for devicetree overlays
• Use the upstream raspberry/firmware repo
• Update kernel configs to 4.1.8

Kernel 3.18.10 / SD image 0.3 Jack

• Kernel 3.18.10
• add kernel module VXLAN for Open vSwitch support
• SD image Version 0.3 Jack