As it is the only currently supported ARM platform. It defaults to RPi Signed-off-by: Thomas Ingleby <thomas.c.ingleby@intel.com>
Signed-off-by: Thomas Ingleby <thomas.c.ingleby@intel.com>