Add Barrelfish CPU driver for milestone2