added util, currently implementing LDR
update kernel to debug via semihosted I/O