Currently, RBP is not visible in C1 register allocation.

If I understand correctly, there is no reason that RBP cannot be used when PreserveFramePointer is disabled. (PreserveFramePointer is disabled by default). So I think we should make it allocatable.

Please feel free to correct me if I am missing something.