If the Government loses an appeal against a UK high court ruling, Irish banks will owe bondholders an extra €460m, documents released under the Freedom of Information Act reveal.