build target kernel with sabermod

Change-Id: I32221cc0a46995ed0b4bab027b16f815ab2e2097