RPi: platform dependent settings