I see what you are saying, but it was not intended to boot with both a tce and local boot options. Having only local= directive, then tce PPI compatible extensions would install only once and is not retained. No action required from the user.
Your suggesting is to expand the PPI mode to simultaneous support both PPI and PPR by duplicating the storage of md5sums in the local store for comparision.