Add configuration for a500 machine
 * add a500 device to devices-known.pri
 * add the a500 device configuration

Signed-off-by: Christophe Chapuis <chris.chapuis@gmail.com>