Update to driver-avalon2.c

Possible fix to the avalon2 driver