Revert "Remove prebuilt kernel bits"

This reverts commit e4bd0277e58783217390add6cafc340bedca1a4f.
Revert "BoardConfig: Support inline kernel building"

This reverts commit 3cd663d9501cb7cd11f1d34c1521fbda73e1e407.