Merge commit 'origin/master' into gpxe-added