tree 42e011ac33ae44447699d9924ac63a49e0e7b5df
parent e015e82affe6bb2ef09a5af7867ecc07c20c82ed
author Nico Huber <nico.h@gmx.de> 1497301486 +0200
committer Nico Huber <nico.h@gmx.de> 1503951076 +0000

gma: Move a warning justification to spec

Makes us compatible with SPARK 2017.

Change-Id: Ie325b913e329ceb522a320c76f1cccf512e5b79f
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20170
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>