modify address
rename kernel.s to setup.s