Delete AndroidBoard.mk

That's a deprecated way of configuring devices,
and Android.mk is a better option

Change-Id: Ic0e4f180f9624b9fc2ca906a55510facee210ef0
1 file changed