[rbp] updated firmware
[rbp] updated kernel