Seol mar théacs é seo: Formal Co-Validation of Low-Level Hardware/Software Interfaces