stdvga: Rename stdvga_get_vde() to stdvga_get_vertical_size() Signed-off-by: Kevin O'Connor <kevin@koconnor.net>