It's all being laid out in the Firmware manual though as you point out there are cpc6128, the cpc464 has them but are at different addresses, so hardly anybody uses them. If they were to be used it would be good to determine which cpc is being used, though from what I've heard I don't think they are all that fast.
Danke