Let's actually build the Power HAL

Change-Id: I36e93244ad73d131b47fdb6f2d971e08a81db2c2