Re: [PATCH v2 11/15] hw/timer: Remove TYPE_ETRAX_FS_TIMER device