Early morning check-ins are usually pretty slim - even on a Saturday. Check-in lines start to get busy around 10:30 - 12:00 (based on my expierience).
I think you should try to make an ADR at Boma. If you cannot make an ADR - and the line is too long, plan on the Mara! Quick service is better than nothing!