[coreboot] How to understand register address on x86?