Add support for Samsung SIII mini VE (gt-i8200)

See wiki.

Although it looks the same as Samsung Galaxy SIII mini, this version has nothing else in common, it has, however, the same hardware as Galaxy Tab 3 7.0.

I am using the upstream mwifiex driver for wi-fi support (marvell sd8787) and btmrvl for Bluetooth (but i did not test BT).

Note that test_aports_device_kernel fails with "multiple kernels" because of linux-firmware-mrvl dependency.