beaglebone: turns out we got some wrong `CONFIG_*`'s