update and reenable armv7hl configs
    
    Where possible, new values are copied from arm64. The rest is guessed,
    mostly based on existing values of similar config options.