edac: i7core_edac produces undefined behaviour on 32bit