[LinuxBIOS] Re: .bin final size [was: Error in compiling STPC Consumer]