Adding a new efi-update-loader script: need help understanding Makefile.inc1 for "make installworld"

[Rebecca Cran]

I've been working on EFI support, and have a review 
(https://reviews.freebsd.org/D19588) to add a script, efi-update-loader, 
which will update the ESP containing the FreeBSD boot1.efi or loader.efi.

I'd like to integrate it into the build system so it gets run when users 
do a "make installworld", but I'm lost looking through Makefile.inc1 - I 
have no clue where to add the code.

Does anyone understand where and what to add?


-- 

Rebecca Cran