OPTIONS_H_EXTRA += $(srcdir)/config/aarch64/aarch64-opts.h
OPTIONS_H_EXTRA += $(srcdir)/config/arm/aarch-common.h