cherry-pick rump kernel console support
Source for buildrump.sh git rev 9ef34173f906330bacab0134322f18d2750a99b2