Update driver-avalon2.h