[TF-A] Design proposal: firmware debugfs interface