[xilinxc]: Fixed issue with READ_LEDS, added working test for the new READ_LEDS