Fix UEFI build on FreeBSD by not including system headers