mkamsboot: make sure files depending on dualboot.h are updated