(Also: if this is qemu/x86-related: shouldn't that go into boards/qemu-i386/Makefile?)