devices.xml: Galaxy S4 Mini (serrano3gxx, serranoltexx) bring-up