boot - Hack workarounds for chromebook 'SeaBIOS' issues