t.r-b.o/debian: mark cbxi4b- and cbxi4pro0-armhf as down

didnt come back after reboot into new kernel. tried several power cycles.

Signed-off-by: Holger Levsen <holger@layer-acht.org>