Efficient Super-Resolution Bayesian Eletromagnetic Brain Imaging