Redox: исправлен регресс на Raspberry Pi 3B и улучшена поддержка OpenSBI на RISC-V

В ядре Redox Andrey Turkin исправил регресс в поддержке Raspberry Pi 3B, а Zhouqi Jiang улучшил поддержку OpenSBI для RISC-V.

Оригинал

Kernel Improvements.