linux-topic: Remove the "miami" branch

miami branch was merged, so all boards can use the same kernel srcrev
again.