Marrying ab initio calculations and Halo EFT: the case of 7 Be + p → 8 B +