Ran scripts through flake8 and fixed issues. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
Dumping out the entire page table contents is extremely spammy. Don't do this unless --verbose is passed twice. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
It's x86-only. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>