Add iPXE/static-boot support for Debian