update_symbol_list.sh: update staging build files

* determine GKI_KERNEL_BRANCH from manifest

Bug: 277560840
Change-Id: I9472bb1b90358dfeefd53bd7a4d10df3026f9210
Signed-off-by: Robin Peng <robinpeng@google.com>
1 file changed