Utilize pmap.h names for constants and types used to construct EFI
trampoline page table. Also do some style cleanup.

Reviewed by: imp
Sponsored by: The FreeBSD Foundation
MFC after: 1 week
Differential revision: https://reviews.freebsd.org/D7934