[coreboot] shrdw question