(MACHINE_STATE_SAVE, MACHINE_STATE_RESTORE): Add
drwxr-xr-x - gcc