I’m afraid only a workaround is currently available:
create an ipipv6 tunnel between the IPv6 endpoints
assign some IPv4 addresses to the ipipv6 interfaces as /32 ones, indicating the one assigned to the remote ipipv6 interface as the network item of each address row
set up an IPv4 EoIP tunnel between these auxiliary IPv4 addresses
This way, the IPv4 EoIP should do the IPv4 fragmentation, using the MTU indicated by the ipipv6 tunnel.