/boot/loader.efi and buildkernel

Modules and kernel are built when running "make buildkernel", but the other contents
of /boot/ aren't. How can I manually - and separately - build the loader,
especially /boot/loader.efi?

I realized that building loader.efi with any kind of optimization beyond debugging- or
close-to-debugging level ends up in an unloadable loader.efi on Haswell CPUs (IvyBridge
and C2D seem to be unaffected). The system in question is the most recent CURRENT,
compiled with system's CLANG 3.4.1.

Regards,
Oliver