Re: [OS-BUILD PATCH] Include the information about builtin symbols into kernel-uki-virt package too