core/linux-mvebu to 3.12.0-4