raspberry pi bootstrap binary