Add support for building with kleaf

Update generic kernel_headers to aarch64 headers.
Update kernel_build from generic aarch64 to tc.
Update the list of output files as it's required by kleaf.

Signed-off-by: Alex Dobrescu <alex.dobrescu@arm.com>
Signed-off-by: Quoc Khanh Le <QuocKhanh.Le@arm.com>