My contrib stuff for ebbrt