added branch info for checking out kernel build repositories