refactor(pal/hermit): return `!` to satisfy rust-analyzer · model-checking/verify-rust-std@c337019

Original file line number	Diff line number	Diff line change
`@@ -49,9 +49,7 @@ pub fn unsupported_err() -> crate::io::Error {`
`49`	`49`	`}`
`50`	`50`
`51`	`51`	`pub fn abort_internal() -> ! {`
`52`		`-unsafe {`
`53`		`- hermit_abi::abort();`
`54`		`-}`
	`52`	`+unsafe { hermit_abi::abort() }`
`55`	`53`	`}`
`56`	`54`
`57`	`55`	`pub fn hashmap_random_keys() -> (u64, u64) {`
`@@ -104,7 +102,7 @@ pub unsafe extern "C" fn runtime_entry(`
`104`	`102`	`let result = main(argc as isize, argv);`
`105`	`103`
`106`	`104`	`crate::sys::thread_local::destructors::run();`
`107`		`- hermit_abi::exit(result);`
	`105`	`+ hermit_abi::exit(result)`
`108`	`106`	`}`
`109`	`107`
`110`	`108`	`#[inline]`