[rbp/firmware] updated
[rbp/kernel] updated