Use OpenSBI extensions instead of its legacy 0.1 extension

[edubart]

Context

OpenSBI is now subdivided in extensions which we can enable/disable only what we need, however we are still using opensbi 0.1 legacy extensions.

Possible solutions

Compile both opensbi and kernel with legacy extensions disabled (if possible), refactor code to use its new extensions along the way.