Clean up the EFLAGS implementation (remove lazy flags)