arm: vexpress: use right machine id for a15-v2p

Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
arm: kvm: Update header

Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>