Merge commit 'local_master/planetlab-3_3-bootcd-branch' into planetlab-3_2-branch