Replace update from -r271410 accidentally lost in -r273575.
Add a comment explaining the intent behind the I/O reservation [0x72-0x77].