Andrea Ciceri 6d1bd5bc2e Custom patched kernel is not the default anymore		2022-04-01 19:59:27 +02:00
..
pinebook-pro	Custom patched kernel is not the default anymore	2022-04-01 19:59:27 +02:00