Could you just make it an RFLAGS_embedding += [extra stuff] instead of duplicating all of the rest?