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