OpenRISC: Build infrastructure