We are haing a problem trying to image some 32 bit tablets that we have. As part of the DHCP process they are being given DHCP option 67 as "efi/ia32/nvlnbpia32.efi" however the ia32 directory does not exist and therefore imaging fails. Any idea on when/if this will be available or am I missing something else?