Readd external
Update board file.
Fix GPTimer for Ducati.
Fix from Hashcode.
Update def config.