proposed change to piix4e RFC