The board comes with a 16 MHz XTAL. Since the avsextrem is just an extended msba2, this is true here too.