By analogy with libbuild_misoc. Hopefully one day it actually gets moved to misoc...
All gateware interfaces live in libboard_artiq, but libamp predates libboard_artiq.