[coreboot-gerrit] Patch merged into coreboot/master: abuild: change remove_board interface

the following patch was just integrated into master:
commit 35261c0d476eff250a695e97be8cd8ceb406a7d3
Author: Patrick Georgi 
Date:   Fri Oct 30 23:25:23 2015 +0100

abuild: change remove_board interface

It's passed the mainboard's directory name (below $TARGET) directly
    in preparation of more rework in that area.

Change-Id: I3a82b8673fdea07bc5c957f76f4685c34a805334
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/12275
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth 
    Reviewed-by: Alexandru Gagniuc

See http://review.coreboot.org/12275 for details.

-gerrit