restore support for Infineon's EASY 5120 boards