Update driver-avalon2.c