OpenBSD on UEFI Hardware

References