Delete boot-porting.sh