Raspberry pi OS lite boot sequence