Linux: forgot some VRISKA_ACCESSIBLE