Create precise64.ipxe