Waldemar Brodkorb 7e7728fda0 hsdk: allow compressed kernel 4 anni fa
..
synopsys-hsdk 7e7728fda0 hsdk: allow compressed kernel 4 anni fa
synopsys-nsim 08317fa541 rework hardware and C library settings 6 anni fa