RAMEND bug in HardwareSerial.cpp?

Why not write an alternative hardware serial library, one with adjustable/optional buffers? (Is there some technical reason why that would not work? ie is Arduino tied to its own Serial class somehow?)