hdmidongle: enable second SD slot

With thanks to jas-hacks for finding the GPIO!