mvebu: add Linux 4.0 support