Check if pc_fetch_r is still needed

[rbarzic]

After the addition of the fetch buffer, pc_fetch_r does not seem to be needed anymore. If this is correc, it should be removed from the code

[jeabre01]

Agree

This needs to be removed