Haven't had any issues with that as far as repacking went. For grabbing the exefs-header.bin, just open the decrypted exefs you have and copy the first 0x200 bytes into another file. I think 3dstool might have a command to grab it but I don't think I had any luck in finding it