Issue #885: Recompile linux bootloaders.