Add iPXE support for Debian kFreeBSD
Testing Debian kFreeBSD boot over iPXE