tree 8aede8ff733c7fd1b05ed049e72922c590b6db81
parent ec030129c0ea87b9067a78b2a7d08bcccb798388
author Marc Zyngier <marc.zyngier@arm.com> 1499949469 +0100
committer Marc Zyngier <marc.zyngier@arm.com> 1499954895 +0100

build-cd-image: Fix vmlinux path check

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>