Merge remote-tracking branch 'remotes/kraxel/tags/seabios-20181106-pull-request'...