BoardConfig.mk: change amss version to 5001