MIPS: BPF: Use BPF register names to describe the ABI