Platform properly ignores top_bb and not current platform

Fix #1776