failed to generate coverage profile: path 'machine/fpu.h' doesn't match build dir '/syzkaller/managers/main/kernel'