firmware: add device configuration

See each commit.

This does not yet implement device selection, but it should now be sort of trivial to do (just Makefile shennanigans)

Signed-off-by: Pablo Correa Gómez pabloyoyoista@postmarketos.org

Merge request reports

Loading