Musannaf Ibn Abi Shayba 3:5315

Yazid ibn Harun narrated to us, he said: Ibrahim ibn Uthman informed us, from al-Hakam, from Miqsam, from Ibn Abbas, that the Messenger of Allah (may Allah bless him and grant him peace) used to pray twenty rak'ahs in Ramadan, and the Witr.