Doesn't the Rasberry Pi still require proprietary code to boot? If so, does anyone know if that has any chance of changing in the near future?