Barebox/Linux utils, or1ksim helper and updated Barebox config