Some remaining platform->board changes