A performance engineer needs to profile a system's physical hardware configuration — including DMI/SMBIOS data, kernel boot messages, and a comprehensive support report — before beginning a tuning engagement. Which set of utilities is appropriate for this task?