ANDROID: GKI: refresh ABI to include kimage_vaddr

This symbol is now recognised by ABI tooling.

Bug: 352610488
Change-Id: I8bc6702c41239cd0a190b2128865faf673d97930
Signed-off-by: Giuliano Procida <gprocida@google.com>