Functional methods, in particular efficient reorganization of the one-loop effective action, have recently made a reappearance in simplifying the problem of computing matching and running effects in Lorentz-invariant effective field theories (EFTs) such as the Standard Model Effective Field Theory. This has lead to the appearance of universal one-loop effective actions, where such effects are now known in closed form for arbitrary field-content. These insights have not yet been brought to bear on modern kinematic EFTs such as heavy quark (HQET) and soft-collinear effective theory despite their greater focus on precision and the inclusion of higher-order effects. I will present some first steps in developing functional one-step matching formulae for EFTs where Lorentz symmetry is broken (or at least obscured) using HQET as my focus but also commenting on more complicated multi-mode EFTs as well.