Create precise32.ipxe