fix fdboot