Add support for Samsung SIII mini VE (gt-i8200)
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).
test_aports_device_kernel fails with "multiple kernels" because of