model msba2 uart0 dependency on posix

also clean up a byte