Fix issues with generation of mbr.bin for gcc4 & anyboot targets