Build

Fix(v0.9): target-pointer-width field now expects an integer #782

Job	Run time
Build Example Kernel (windows-latest)	56s
Build Example Kernel (ubuntu-latest)	30s
Test (windows-latest)	13m 53s
Build Example Kernel (macos-latest)	39s
Test (ubuntu-latest)	1m 33s
Test (macos-latest)	1m 48s
Check Formatting	16s
	19m 35s

Provide feedback