[rbp] firmware update (Apr 22, 2013)
[rbp] kernel update (Apr 22, 2013)