This allows us to use IMAGE_BOOT_FILES to include these files in a
image.

Signed-off-by: Andrei Gherzan <andrei.gherzan@huawei.com>