How are the clients going to roam?
AFAIK,
For building 1 & 2 as clients share same subnet/vlan, you can't really enable IP mobility (L3 mobility), as in the mobility HAT table, you can't put same subnet with two home agent.
However, if client roams from building 1 to building 3 or 4, in that case you need IP mobility.
In ideal scenario, I would expect all 4 bulidings have different subnet, thus you can enable L3 mobility.