mirage/mirage: PR #1500: Add line directives to OCaml files that are copied around

@2fceeea

Stages:

• 🟡 x86_64-debian-10-4.13
• 🟠 arm64-debian-10-4.13 (4m16s)

History:

• 05/03/2024 11:27 🟡 @67dd1af (6m33s)
• 05/03/2024 11:22 🟠 @2fceeea (4m16s)