Fix bbb_linux_defconfig build errors

This had been broke during the firmware update refactoring. This
should make it work again.