/* Sticky HW bits */