now thinkpad t430 arch configs