Not sure why having .copy in 0x8000..0xBFFF would not work, I would think it should if PPAGE is setup before (or the reset value works). Well anyway.
For the SRecord, look at the bbl file. It supports to map any addresses for the generated SRecords,
see the burner chapter in the build tools manual.
Daniel