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>