seabios: update 128k config