Use combined kernel prebuilt device/google/redbull-kernel for bramble/redfin am: 4c88ed47e8

Original change: https://googleplex-android-review.googlesource.com/c/device/google/bramble/+/12975377

Change-Id: I429425cccff0170232cc91605b4545c4934f9670